From 6a9c2893f6ac47be883141c0a716d36f9dc67db1 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 7 Oct 2005 10:20:49 +0000 Subject: [PATCH] Don't exit if file not found and not headless --- src/jalview/bin/Jalview.java | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 910c947..2899abb 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -78,8 +78,9 @@ public class Jalview if (aparser.contains("nodisplay")) + { System.setProperty("java.awt.headless", "true"); - + } if (System.getProperty("java.awt.headless") != null && System.getProperty("java.awt.headless").equals("true")) { @@ -145,7 +146,8 @@ public class Jalview if (! (new java.io.File(file)).exists()) { System.out.println("Can't find " + file); - System.exit(1); + if(headless) + System.exit(1); } } @@ -238,10 +240,6 @@ public class Jalview desktop.LoadFile(file, protocol, format); } } - - - if (desktop==null) - System.exit(0); } } -- 1.7.10.2