diff options
Diffstat (limited to 'tools/examples/xc_dom_control.py')
| -rwxr-xr-x | tools/examples/xc_dom_control.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/examples/xc_dom_control.py b/tools/examples/xc_dom_control.py index ea97a45f0e..080af6f366 100755 --- a/tools/examples/xc_dom_control.py +++ b/tools/examples/xc_dom_control.py @@ -137,6 +137,7 @@ elif cmd == 'suspend': os.kill(pid, signal.SIGTERM) xc.domain_stop( dom=dom ) + time.sleep(0.1); rc = xc.linux_save( dom=dom, state_file=file, progress=1) if rc == 0 : xc.domain_destroy( dom=dom, force=1 ) |