diff options
Diffstat (limited to 'tools/examples/xc_dom_control.py')
| -rwxr-xr-x | tools/examples/xc_dom_control.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/examples/xc_dom_control.py b/tools/examples/xc_dom_control.py index 4f0bd5de52..d6cae4f720 100755 --- a/tools/examples/xc_dom_control.py +++ b/tools/examples/xc_dom_control.py @@ -139,10 +139,12 @@ elif cmd == 'suspend': xc.domain_stop( dom=dom ) while not xc.domain_getinfo( first_dom=dom, max_doms=1 )[0]['stopped']: - time.sleep(0.1); + print "Sleep..." + time.sleep(0.001); rc = xc.linux_save( dom=dom, state_file=file, progress=1) if rc == 0 : xc.domain_destroy( dom=dom, force=1 ) + else: xc.domain_start( dom=dom ) # sensible for production use elif cmd == 'cpu_bvtslice': if len(sys.argv) < 3: |