Cobalt (Jan 07 2024 at 19:14): Cobalt (Jan 07 2024 at 19:14):Hey, I have some issues with isabelle server (isabelle 2023). It seems to throw exceptions during close_session calls with Exception in thread "event_timer".... This happens with varying timer issues when creating, purging and closing session in quick succession on the same client connection. What would be the right forum to submit bug reports for such issues?
Cobalt (Jan 07 2024 at 19:16):An exception sample (taken from stdout of the server) --
*** Inactive prover input thread for command "Document.discontinue_execution"
at isabelle.Exn$ERROR$.apply(exn.scala:25)
at isabelle.Exn$.error(exn.scala:29)
at isabelle.package$.$init$$$anonfun$1(ROOT.scala:9)
at isabelle.Prover.protocol_command_raw(prover.scala:296)
at isabelle.Prover.protocol_command_args(prover.scala:301)
at isabelle.Prover.protocol_command(prover.scala:305)
at isabelle.Protocol.discontinue_execution(protocol.scala:395)
at isabelle.Protocol.discontinue_execution$(protocol.scala:306)
at isabelle.Prover.discontinue_execution(prover.scala:71)
at isabelle.Session.handle_raw_edits$1(session.scala:397)
at isabelle.Session.$init$$$anonfun$3(session.scala:648)
at isabelle.Consumer_Thread$.consume_single$1$$anonfun$1(consumer_thread.scala:28)
at isabelle.Exn$.capture(exn.scala:60)
at isabelle.Consumer_Thread$.consume_single$1(consumer_thread.scala:28)
at isabelle.Consumer_Thread$.fork$$anonfun$2(consumer_thread.scala:34)
at isabelle.Consumer_Thread.process(consumer_thread.scala:90)
at isabelle.Consumer_Thread.main_loop(consumer_thread.scala:108)
at isabelle.Consumer_Thread.$init$$$anonfun$1(consumer_thread.scala:50)
at isabelle.Consumer_Thread.$init$$$anonfun$adapted$1(consumer_thread.scala:50)
at scala.Function0.apply$mcV$sp(Function0.scala:42)
at isabelle.Isabelle_Thread$.$anonfun$2(isabelle_thread.scala:64)
at isabelle.Isabelle_Thread.run(isabelle_thread.scala:140)
Cobalt said:
What would be the right forum to submit bug reports for such issues?
The Isabelle mailing list (but do not call it a bug)
Cobalt (Jan 07 2024 at 19:20):Mathias Fleury said:
Cobalt said:
What would be the right forum to submit bug reports for such issues?
The Isabelle mailing list (but do not call it a bug)
Thank you for the quick response.
Last updated: May 02 2024 at 01:06 UTC