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