kweb sometimes fails to kill jobs after timeout

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

5 stars 5 forks source link

kweb sometimes fails to kill jobs after timeout #27

Open pdaian opened 9 years ago

pdaian commented 9 years ago

I just had to kill two 20+ hour running Java processes, a previously unseen kweb bug. Could this be a change in kweb / k behavior or rare fluke? Reinvestigate timeout process closure and make sure processes are guaranteed to close each time.