diff options
| author |  Dan | 2018-09-09 17:36:47 +0100 |
|---|---|---|
| committer |  GitHub | 2018-09-09 17:36:47 +0100 |
| commit | 5cb70f7a7e4688a9542f5781a8dc45f0cb599e60 (patch) | |
| tree | b7a24a3d17f3ef997d42c2afd1a4c0585427b3c6 /EventManager.py | |
| parent | Pull in some more (#7) (diff) | |
| parent | Fix an incorrect call to event["stderr"] in karma.py (diff) | |
Merge pull request #8 from jesopo/master
Regex is dumb.
Diffstat (limited to 'EventManager.py')
| -rw-r--r-- | EventManager.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/EventManager.py b/EventManager.py index 560c671e..604ae337 100644 --- a/EventManager.py +++ b/EventManager.py @@ -4,8 +4,9 @@ PRIORITY_URGENT = 0 PRIORITY_HIGH = 1 PRIORITY_MEDIUM = 2 PRIORITY_LOW = 3 +PRIORITY_MONITOR = 4 -DEFAULT_PRIORITY = PRIORITY_LOW +DEFAULT_PRIORITY = PRIORITY_MEDIUM DEFAULT_DELIMITER = "." class Event(object): |