diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-07-05 08:05:55 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2017-07-05 08:05:55 (GMT) |
| commit | bfefa5fd44b9ed1491612f26b099db8ad624247b (patch) | |
| tree | ca4313ced9adb3288056c3e7ddf121e614cf3c2b /contrib/src/Pluma | |
| parent | 04121c58222c95b1d808a1556b5110832a1c1119 (diff) | |
| download | uscxml-bfefa5fd44b9ed1491612f26b099db8ad624247b.zip uscxml-bfefa5fd44b9ed1491612f26b099db8ad624247b.tar.gz uscxml-bfefa5fd44b9ed1491612f26b099db8ad624247b.tar.bz2 | |
More performant Monitors
Breaks InterpreterMonitor API, Interpreter argument is substituted by sessionId. Use Intererpreter::fromSessionId to retrieve actual session when required.
Diffstat (limited to 'contrib/src/Pluma')
0 files changed, 0 insertions, 0 deletions