diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 16:00:15 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 16:00:15 +0100 |
| commit | 8077d4729f0a148e2832f1bab3980c019d1a3191 (patch) | |
| tree | d62c9e5fca93215cbab071595b1ebf98b97f4434 /python/runner/main.py | |
| parent | 3f9c073475628db7ae400e0df028b6b066ebf26c (diff) | |
Catch exceptions in server.handlers.Hint()
Note: support for explicit Hint() requests will likely be removed.
Diffstat (limited to 'python/runner/main.py')
0 files changed, 0 insertions, 0 deletions