From 43b2bb3303547e2024be5d0999a439dd808c6142 Sun, 29 Jan 2012 18:52:30 +0100
From: hass <hass@85918.no-reply.drupal.org>
Date: Sun, 29 Jan 2012 18:51:48 +0100
Subject: [PATCH] Use drupal_exit(); to exit;

diff --git a/httprl.nonblocktest.inc b/httprl.nonblocktest.inc
index 8bc81df..24cf7c7 100644
--- a/httprl.nonblocktest.inc
+++ b/httprl.nonblocktest.inc
@@ -14,7 +14,7 @@
       || strpos($_GET['id'], 'httprl_') !== 0
       || $_GET['key'] != md5(drupal_get_private_key())
         ) {
-    exit;
+    drupal_exit();
   }
 
   // Release the lock, echo out that the lock was cleared and exit.
@@ -25,7 +25,7 @@
     httprl_lock_release($_GET['id']);
   }
   echo t('lock @id cleared', array('@id' => $_GET['id']));
-  exit;
+  drupal_exit();
 }
 
 /**