diff options
| -rw-r--r-- | tools/gui/src/Main.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/gui/src/Main.scala b/tools/gui/src/Main.scala index 8dd2c3e..3b4bd90 100644 --- a/tools/gui/src/Main.scala +++ b/tools/gui/src/Main.scala @@ -88,7 +88,9 @@ object Main { } } server.start() - java.awt.Desktop.getDesktop.browse(new java.net.URI(s"http://localhost:$uiPort/")) + if(!java.awt.GraphicsEnvironment.isHeadless()) { + java.awt.Desktop.getDesktop.browse(new java.net.URI(s"http://localhost:$uiPort/")) + } println("Press Enter to stop UI server.") while (Source.stdin.getLines().next().nonEmpty) {} |