void D3DDisplayWindowProvider::flip(int interval)
{
if (use_fake_front_buffer)
device_context->CopyResource(fake_front_buffer, back_buffer);
//D3DGraphicContextProvider *gc_provider = static_cast<D3DGraphicContextProvider*>(gc.get_provider());
if (interval != -1)
current_interval_setting = interval;
swap_chain->Present(current_interval_setting, 0);
log_debug_messages();
}
static void set_debug( char *module_name,
int server_id,
char *program_pathname)
{
if(debug_sql_log_file(arb_get_process_id(), server_id) == FAILURE)
{
arb_fatal_log_and_exit(module_name, __FILE__, __LINE__,
arb_get_process_id(), server_id,
"%s ERROR: Unable to open debugging SQL log file",
basename(program_pathname));
exit(1);
}
log_source_information(); /* log src code info in activity log */
log_debug_messages(); /* log debug msgs in activity log */
}
void D3DDisplayWindowProvider::update(const Rect &rect)
{
if (use_fake_front_buffer)
{
D3D11_BOX src_box;
src_box.left = rect.left;
src_box.right = rect.right;
src_box.top = rect.top;
src_box.bottom = rect.bottom;
src_box.front = 0;
src_box.back = 1;
device_context->CopySubresourceRegion(fake_front_buffer, 0, rect.left, rect.top, 0, back_buffer, 0, &src_box);
device_context->CopyResource(back_buffer, fake_front_buffer);
swap_chain->Present(current_interval_setting, 0);
log_debug_messages();
}
}
