[ODE] Making movies from DrawStuff

[Martin C. Martin]

I'd like to make some movies of the images appearing in the DrawStuff
window.  Does anyone know:

(a) How to get the raster out of DrawStuff, i.e. OpenGL?  I've never
programmed OpenGL, so I don't even know where to look.  Would anyone be
interested in writing a dsGetRaster() function?

(b) Given a series of images, what's the best/easiest/favourite way to
turn them into a movie, say an .avi?

Thanks,
Martin