| commit | 706eb68837f54f41d2ce34337a08379f7989d005 | |
| author | ygrek <ygrek@autistici.org> | |
| Tue, 6 Jan 2015 03:00:43 +0000 (5 21:00 -0600) | ||
| committer | ygrek <ygrek@autistici.org> | |
| Mon, 23 Jan 2017 01:24:39 +0000 (22 17:24 -0800) | ||
| tree | b04d8277086cbc5a36087cae452b797c05abde00 | treesnapshot (tar.gz zip) |
| parent | 5a968f69f72245237f76625192fba3fa0d109ec3 | commitdiff |
extend command conditions (pause, resume, priority) (ref #9)
New arguments form: where priority <op> <num>
<op> is one of '<' '>' '<=' '>=' '=' '<>'
<num> is priority level to match against
e.g. the following is valid
pause where priority <= 0
resume where priority = 0
New arguments form: where priority <op> <num>
<op> is one of '<' '>' '<=' '>=' '=' '<>'
<num> is priority level to match against
e.g. the following is valid
pause where priority <= 0
resume where priority = 0
| src/daemon/driver/driverCommands.ml | diffblobblamehistory |