make vga screen_dump use DisplayState properly
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 11 Aug 2009 15:18:07 +0000 (16:18 +0100)
committerAnthony Liguori <aliguori@us.ibm.com>
Mon, 24 Aug 2009 13:01:39 +0000 (08:01 -0500)
commit04a52b412037420e01276c92cf672dbab7f78399
tree9399c407df9f3cada217e5fa706bc0eb9daab9d5
parentb6f6d0e2f83e52f21a4dce9476d794ed279b900e
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>
hw/vga.c