comparison: src/eric7/RemoteServer/EricRequestCategory.py
src/eric7/RemoteServer/EricRequestCategory.py
- branch
- server
- changeset 10767
- b3672d3e7644
- parent 10574
- 622e59b51640
- child 10774
- 7f7ff7456904
equal
deleted
inserted
replaced
18 FileSystem = 0 |
18 FileSystem = 0 |
19 Project = 1 |
19 Project = 1 |
20 Debugger = 2 |
20 Debugger = 2 |
21 Coverage = 3 |
21 Coverage = 3 |
22 |
22 |
23 Echo = 253 |
23 Echo = 252 |
24 Server = 254 |
24 Server = 253 |
25 Error = 255 # only sent by the server to report an issue |
25 Error = 254 # only sent by the server to report an issue |
|
26 Generic = 255 |
26 |
27 |
27 # user/plugins may define own categories starting with this value |
28 # user/plugins may define own categories starting with this value |
28 UserCategory = 1024 |
29 UserCategory = 1024 |