On 05/07/11 20:51, Chris Muller wrote:
> The only option is a
> hard-power off - an ungraceful shutdown - losing all unsaved data in
> all applications - ouch!

As others have said, use a terminal to kill the vm, but also keep an ssh 
server running, very useful on the rare occasion that the system appears 
unresponsive to input.

-D