Issue #1427642 by elliotttf: Fixed Use drupal_exit() rather than exit()

in PuSH/FeedsHTTPFetcher callbacks.

libraries/PuSHSubscriber.inc

@@ -219,12 +219,12 @@ class PuSHSubscriber {
       if ($verify) {
         header('HTTP/1.1 200 "Found"', NULL, 200);
         print $_GET['hub_challenge'];
-        exit();
+        drupal_exit();
       }
     }
     header('HTTP/1.1 404 "Not Found"', NULL, 404);
     $this->log('Could not verify subscription.', 'error');
-    exit();
+    drupal_exit();
   }
 
   /**

plugins/FeedsHTTPFetcher.inc

@@ -79,12 +79,12 @@ class FeedsHTTPFetcher extends FeedsFetcher {
       catch (Exception $e) {
         // In case of an error, respond with a 503 Service (temporary) unavailable.
         header('HTTP/1.1 503 "Not Found"', NULL, 503);
-        exit();
+        drupal_exit();
       }
     }
     // Will generate the default 200 response.
     header('HTTP/1.1 200 "OK"', NULL, 200);
-    exit();
+    drupal_exit();
   }
 
   /**