gracefully shutdown preloaded project

2026-09-27 10:03:11 +07:00 · 2014-11-07 22:56:38 +01:00
parent e76a298caf
commit 8cf4bd9300
1 changed files with 6 additions and 0 deletions
@@ -277,7 +277,13 @@ public class BuildMain {
            else {
              try {
                LOG.info("Build canceled, but no build session is running. Exiting.");
+                Thread.interrupted(); // to clear 'interrupted' flag
                channel.close();
+                final PreloadedData preloaded = ourPreloadedData;
+                final ProjectDescriptor pd = preloaded != null? preloaded.getProjectDescriptor() : null;
+                if (pd != null) {
+                  pd.release();
+                }
              }
              finally {
                System.exit(0);