X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=d54e5535fef5461c85933cd1ee13b79d5b64c518;hb=a23bc2c30984fff99d0065fdb93799e2eee87e1b;hp=45a52eea151a87f8335eadb6a9a674af212bf692;hpb=84137bd3bbc399ca3e1a43811e46f1a00d9c690b;p=jalview.git

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 45a52ee..d54e553 100644
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -1184,6 +1184,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements
 
     if (groovyConsole != null)
     {
+      // suppress a possible repeat prompt to save script
+      groovyConsole.setDirty(false);
       groovyConsole.exit();
     }
     System.exit(0);