diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-20 17:45:38 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-20 17:45:38 +0200 |
| commit | e70efb2c36493dd9413d76cd7a1a60bbfb8cdfd6 (patch) | |
| tree | 9c199779a33d6d5b7282656d0de61aa9a9275701 /prolog/runner/main.pl | |
| parent | 78d81e2c5e1e00796ac74fea445d0b664e97d351 (diff) | |
Add a timeout option for prolog.engine requests
Diffstat (limited to 'prolog/runner/main.pl')
0 files changed, 0 insertions, 0 deletions