From c1b9b27f860235e604cc4eed85a87fdc01b0b4f1 Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Tue, 18 Aug 2015 11:22:05 -0700
Subject: [PATCH] Remove unused original_pid variable

---
 src/reader.cpp | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/reader.cpp b/src/reader.cpp
index 2b0874d7f..0b492cf46 100644
--- a/src/reader.cpp
+++ b/src/reader.cpp
@@ -408,12 +408,6 @@ static int end_loop = 0;
 /** The stack containing names of files that are being parsed */
 static std::stack<const wchar_t *, std::vector<const wchar_t *> > current_filename;
 
-
-/**
-   Store the pid of the parent process, so the exit function knows whether it should reset the terminal or not.
-*/
-static pid_t original_pid;
-
 /**
    This variable is set to true by the signal handler when ^C is pressed
 */
@@ -2120,12 +2114,6 @@ static void reader_interactive_init()
         wperror(L"tcsetattr");
     }
 
-    /*
-       We need to know our own pid so we'll later know if we are a
-       fork
-    */
-    original_pid = getpid();
-
     env_set(L"_", L"fish", ENV_GLOBAL);
 }