--- path_redirect.module.1beta4	2009-10-28 11:39:08.000000000 +0100
+++ path_redirect.module	2009-10-28 11:39:32.000000000 +0100
@@ -128,6 +128,12 @@ function path_redirect_menu() {
  * Implementation of hook_init().
  */
 function path_redirect_init() {
+  // Don't interfere when executed from the command line, e.g. Drush, as this
+  // would unexpectedly abort script execution. $_SERVER['SERVER_ADDR'] will not be set in this case.
+  if (!isset($_SERVER['SERVER_ADDR'])) {
+    return;
+  }
+
   _path_redirect_check();
 }