def stop(self):
"""
Terminate all jobs,
you could have more fine-grained control by extending this function
"""
se_info("{0} deactivated".format(self))
for pid, task in self.jobs.iteritems():
se_info("Terminting klee instance: {0} {1} real pid:{2}".format(pid, task['instance'], task['real_pid']))
utils.terminate_proc_tree(task['real_pid'])
#reset jobs queue
self.jobs = {}
def stop(self):
"""
Terminate all jobs,
you could have more fine-grained control by extending this function
"""
se_info("{0} deactivated".format(self))
self.sync_gen_seeds()
for pid, task in self.jobs.iteritems():
if task['processed']:
continue
task['processed'] = True
se_info("Terminting qsym instance: {0} {1} real pid:{2}".format(
pid, task['instance'], task['real_pid']))
utils.terminate_proc_tree(task['real_pid'])
self.jobs[pid]['processed'] = True
def stop(self):
"""
Terminate all jobs,
you could have more fine-grained control by extending this function
"""
se_info("{0} deactivated".format(self))
self.sync_gen_seeds(
) # syncs the seeds from /tmp/.../queuefolder to .../muse-djpeg-sync/qsym_instance_conc_000xxx
for pid, task in self.jobs.iteritems():
if task['processed']:
continue
task['processed'] = True
se_info("Terminting qsym instance: {0} {1} real pid:{2}".format(
pid, task['instance'], task['real_pid']))
utils.terminate_proc_tree(
task['real_pid']) # Maybe needs docker implementation?
self.jobs[pid]['processed'] = True
