if(frame_dump)
{
glReadPixels(0, 0, window.get_width(), window.get_height(), GL_RGB, GL_UNSIGNED_BYTE, frame_dump_buffer);
frame_dump->write(frame_dump_buffer, frame_size);
}
if(frame_dump)
{
glReadPixels(0, 0, window.get_width(), window.get_height(), GL_RGB, GL_UNSIGNED_BYTE, frame_dump_buffer);
frame_dump->write(frame_dump_buffer, frame_size);
}