diff options
Diffstat (limited to 'tools/examples/xc_dom_control.py')
-rwxr-xr-x | tools/examples/xc_dom_control.py | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/examples/xc_dom_control.py b/tools/examples/xc_dom_control.py index 2da4ddaf7b..9feab009e3 100755 --- a/tools/examples/xc_dom_control.py +++ b/tools/examples/xc_dom_control.py @@ -136,17 +136,7 @@ elif cmd == 'suspend': pid = int(fd.readline()) os.kill(pid, signal.SIGTERM) - """ - xc.domain_stop( dom=dom ) - XXX - while not xc.domain_getinfo( first_dom=dom, max_doms=1 )[0]['stopped']: - 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: |