diff options
author | michelou <michelou@epfl.ch> | 2006-06-07 13:53:21 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-06-07 13:53:21 +0000 |
commit | df73352feac0926c9b48749f6a526934757ba772 (patch) | |
tree | 0435a2e5b52b94b2d6b1508dccaed66b04c953ec /docs/man | |
parent | 61441aa3be1c4ecc50845e15b909b95eee5a5e83 (diff) | |
download | scala-df73352feac0926c9b48749f6a526934757ba772.tar.gz scala-df73352feac0926c9b48749f6a526934757ba772.tar.bz2 scala-df73352feac0926c9b48749f6a526934757ba772.zip |
better exception handling when generating man p...
better exception handling when generating man pages
Diffstat (limited to 'docs/man')
-rw-r--r-- | docs/man/src/man/EmitHtml.scala | 6 | ||||
-rw-r--r-- | docs/man/src/man/EmitManPage.scala | 6 |
2 files changed, 8 insertions, 4 deletions
diff --git a/docs/man/src/man/EmitHtml.scala b/docs/man/src/man/EmitHtml.scala index d0257e0144..6ad366bd4a 100644 --- a/docs/man/src/man/EmitHtml.scala +++ b/docs/man/src/man/EmitHtml.scala @@ -340,8 +340,10 @@ object EmitHtml { val addDocType = (args.length > 1 && "-doctype".equals(args(1))) emitDocument(doc, addDocType) } catch { - case e: Exception => - System.err.println(e.getMessage()) + case ex: Exception => + ex.printStackTrace() + System.err.println("Error in EmitHtml") + exit(1) } } } diff --git a/docs/man/src/man/EmitManPage.scala b/docs/man/src/man/EmitManPage.scala index 7bc4bf58e2..363cf1d02a 100644 --- a/docs/man/src/man/EmitManPage.scala +++ b/docs/man/src/man/EmitManPage.scala @@ -156,8 +156,10 @@ object EmitManPage { val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { - case e: Exception => - System.err.println(e.getMessage()) + case ex: Exception => + ex.printStackTrace() + System.err.println("Error in EmitManPage") + exit(1) } } |