equal
deleted
inserted
replaced
272 delay_input.revoke() |
272 delay_input.revoke() |
273 delay_output.revoke() |
273 delay_output.revoke() |
274 delay_caret_update.revoke() |
274 delay_caret_update.revoke() |
275 |
275 |
276 val rc = session.stop() |
276 val rc = session.stop() |
277 if (rc == 0) reply("") |
277 if (rc == 0) reply("") else reply("Prover shutdown failed: return code " + rc) |
278 else reply("Prover shutdown failed: return code " + rc) |
|
279 |
|
280 None |
278 None |
281 case None => |
279 case None => |
282 reply("Prover inactive") |
280 reply("Prover inactive") |
283 None |
281 None |
284 }) |
282 }) |