tree 9399c407df9f3cada217e5fa706bc0eb9daab9d5
parent b6f6d0e2f83e52f21a4dce9476d794ed279b900e
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1250003887 +0100
committer Anthony Liguori <aliguori@us.ibm.com> 1251118899 -0500

make vga screen_dump use DisplayState properly

Hi all,
currently the vga screen_dump code doesn't use the DisplayState
interface properly and tries to replace it temporarily while taking the
screenshot.
A better approach is to register a DisplayChangeListener, call
vga_hw_update, and finally write the ppm in the next call from dpy_update.

Testing is appreciated.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>