StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


deleting all jobs / emptying a community's queue

StarExec :: How Do I Do X on StarExec?

Go down

deleting all jobs / emptying a community's queue Empty deleting all jobs / emptying a community's queue

Post by df Fri Jun 20, 2014 12:31 pm

I deleted all the jobs on my community's queue, and started a new one with 1 pair, and 1 second time bound. It does not complete and show as "enqueued (2)". So seems there is still something in my community's queue. Are deleted jobs not killed? Is there a way to kill them after they are deleted? Is there a way to empty my community's queue? How?

df

Posts : 17
Join date : 2014-04-30

Back to top Go down

Back to top

- Similar topics

StarExec :: How Do I Do X on StarExec?

 
Permissions in this forum:
You cannot reply to topics in this forum