2017-06-06 21:22:03 +00:00
|
|
|
def kill_instance(args):
|
|
|
|
params = {'sig_name': args.sig_name}
|
2018-03-19 22:24:32 +00:00
|
|
|
return args.client.call('kill_instance', params)
|
2017-06-06 21:22:03 +00:00
|
|
|
|
2018-02-14 21:34:55 +00:00
|
|
|
|
2017-06-06 21:22:03 +00:00
|
|
|
def context_switch_monitor(args):
|
|
|
|
params = {}
|
|
|
|
if args.enable:
|
|
|
|
params['enabled'] = True
|
|
|
|
if args.disable:
|
|
|
|
params['enabled'] = False
|
2018-03-19 22:24:32 +00:00
|
|
|
return args.client.call('context_switch_monitor', params)
|