comparison: main.lua
main.lua
- changeset 149
- b2e397594cbd
- parent 146
- 885fa9f5929d
- child 150
- cf2b2fcd0bc1
equal
deleted
inserted
replaced
| 148:e2c85e095a4c | 149:b2e397594cbd |
|---|---|
| 137 end | 137 end |
| 138 end | 138 end |
| 139 | 139 |
| 140 local function uninitialize_script(script) | 140 local function uninitialize_script(script) |
| 141 script.finished = true; | 141 script.finished = true; |
| 142 for name, obj in pairs(script.objects) do | 142 for name, obj in pairs(script.objects) do --luacheck: ignore name |
| 143 if obj.handler._finish then | 143 if obj.handler._finish then |
| 144 obj.handler._finish(obj); | 144 obj.handler._finish(obj); |
| 145 end | 145 end |
| 146 end | 146 end |
| 147 end | 147 end |
| 309 | 309 |
| 310 if not have_serve then | 310 if not have_serve then |
| 311 error("This version of scansion was not built with --with-server"); | 311 error("This version of scansion was not built with --with-server"); |
| 312 end | 312 end |
| 313 | 313 |
| 314 initialize_verse(function (e) | 314 initialize_verse(function (e) --luacheck: ignore e |
| 315 -- This function handles scansion errors, | 315 -- This function handles scansion errors, |
| 316 -- but they shouldn't reach here anyway | 316 -- but they shouldn't reach here anyway |
| 317 end); | 317 end); |
| 318 serve.run({ port = serve_mode }, run_test_script); | 318 serve.run({ port = serve_mode }, run_test_script); |
| 319 os.exit(0); | 319 os.exit(0); |
