Commit b65f2b57 authored by Romain Reuillon's avatar Romain Reuillon
Browse files

[Plugin] fix: increase priority of kill above refresh

parent 3f333630
......@@ -38,6 +38,7 @@ object JobManager extends JavaLogger { self ⇒
case _: Refresh 5
case _: Submit 50
case _: GetResult 50
case _: Kill 10
case _: Manage 75
case _: Error 100 // This is very quick to process
case _ 1
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment