File tree Expand file tree Collapse file tree 2 files changed +7
-7
lines changed
Expand file tree Collapse file tree 2 files changed +7
-7
lines changed Original file line number Diff line number Diff line change 1515 "clingo" : " executables/clingo/clingo" ,
1616 "dlv2" : " executables/dlv2/dlv2" ,
1717 "idlv" : " executables/idlv/idlv" ,
18- "timeout " : " executables/timeout /timeout"
18+ "custom_linux " : " executables/timeout"
1919 },
2020 "certificate" : {
2121 "cert_file" : " cert_files/cert.crt" ,
7676 "clingo" : " executables/clingo/clingo" ,
7777 "dlv2" : " executables/dlv2/dlv2" ,
7878 "idlv" : " executables/idlv/idlv" ,
79- "timeout " : " executables/timeout /timeout"
79+ "custom_linux " : " executables/timeout"
8080 },
8181 "certificate" : {
8282 "cert_file" : " cert_files/cert.crt" ,
9898 "clingo" : " executables/clingo/clingo" ,
9999 "dlv2" : " executables/dlv2/dlv2" ,
100100 "idlv" : " executables/idlv/idlv" ,
101- "timeout " : " executables/timeout /timeout"
101+ "custom_linux " : " executables/timeout"
102102 }
103103 ],
104104 "required" : [],
135135 " executables/idlv/idlv"
136136 ]
137137 },
138- "timeout " : {
138+ "custom_linux " : {
139139 "$id" : " #/properties/paths/properties/executables/properties/timeout" ,
140140 "type" : " string" ,
141141 "title" : " Path to the timeout executable" ,
142142 "examples" : [
143- " executables/timeout/timeout "
143+ " executables/timeout"
144144 ]
145145 }
146146 },
Original file line number Diff line number Diff line change @@ -20,8 +20,8 @@ dependencies = [
2020
2121[project .urls ]
2222Homepage = " https://github.com/DeMaCS-UNICAL/PythonESE"
23- Bug Tracker = " https://github.com/DeMaCS-UNICAL/PythonESE/issues"
24- Source Code = " https://github.com/DeMaCS-UNICAL/PythonESE"
23+ " Bug Tracker" = " https://github.com/DeMaCS-UNICAL/PythonESE/issues"
24+ Repository = " https://github.com/DeMaCS-UNICAL/PythonESE"
2525
2626[project .scripts ]
2727ese_run = ' embasp_server_executor/ese_main.py'
You can’t perform that action at this time.
0 commit comments