You must log in to post
Please turn it on in your browser preferences.
for specific sites, we recommend the
Review Request #4851 -
Created April 24, 2012 and submitted
May 1, 2012, 4:44 a.m.
Tested after runnning examples
Ensuring unique job-id for specific command type is essential. Good catch!
setting used variable only if the interrupt cmd is sure to get executed
Changing from hashset to linkedhashset to preserve insertion order for interruptcmds