diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-09-10 04:23:15 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-18 16:14:10 -0400 |
| commit | f0785d83a7ecdbe7f634fca6e1fd01beb9383e40 (patch) | |
| tree | eefcb0acd917d09a7fc817c3e9b739a39300caab /tools | |
| parent | 9e6b747ce5c8ae700441d42d84c723832d91ecf8 (diff) | |
P-FP: be less permissive about non-running tasks in queue
No suspended task should ever be queued in this plugin.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions