[isabelle] Isabelle2016-RC1 -- untidy stack trace output generated



In trying Isabelle2016-RC1 on Ubuntu 14.04, I happened to notice that if I
launch Isabelle, then "X it" to close the window without having done
anything else, I see the stack trace below printed on the console.
As this stack trace is generated by Isabelle itself (rather than being
something generated by a Java/Swing issue) it seems that perhaps in
the interests of tidiness it should not be.

						- Gene Stark

> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR: Error while stopping plugin:
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR: ERROR(Uninitialized command input thread)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Library$ERROR$.apply(library.scala:33)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Library$.error(library.scala:37)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Basic_Library$$anonfun$2.apply(library.scala:223)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Basic_Library$$anonfun$2.apply(library.scala:223)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Prover.protocol_command_bytes(prover.scala:361)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Prover.protocol_command(prover.scala:367)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Protocol$class.discontinue_execution(protocol.scala:354)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Prover.discontinue_execution(prover.scala:87)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Session.isabelle$Session$$handle_raw_edits$1(session.scala:368)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Session$$anonfun$16.apply(session.scala:566)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Session$$anonfun$16.apply(session.scala:516)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Consumer_Thread$$anonfun$2.apply$mcZ$sp(consumer_thread.scala:49)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Consumer_Thread$$anonfun$2.apply(consumer_thread.scala:49)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Consumer_Thread$$anonfun$2.apply(consumer_thread.scala:49)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Exn$.capture(exn.scala:27)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Consumer_Thread.isabelle$Consumer_Thread$$main_loop(consumer_thread.scala:49)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Consumer_Thread$$anonfun$1.apply$mcV$sp(consumer_thread.scala:35)
> 4:42:02 PM [AWT-EventQueue-0] [error] PluginJAR:  at isabelle.Standard_Thread$$anon$2.run(standard_thread.scala:25)




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.