From fdd3e7031c4fbc0baf9a0f176604474a9a31074e Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Sun, 10 Nov 2013 22:03:28 +0100
Subject: [PATCH] Fix potential NPE.

---
 .../jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java
index 72f4ab004c13..6cb785c08ee5 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java
@@ -120,7 +120,8 @@ public class TerminalSessionEditor extends UserDataHolderBase implements FileEdi
 
   @Override
   public void dispose() {
-    if (!myFile.getUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN)) {
+    Boolean closingToReopen = myFile.getUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN);
+    if (closingToReopen == null || !closingToReopen) {
       myFile.getTerminal().close();
     }
   }