From 6bcdbe4463fd6499174bbd01280aaa6cf9783130 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Tue, 28 Jul 2009 04:29:42 +0000
Subject: [PATCH] Grrr! Nico.

---
 lib/deprecatedlib.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/lib/deprecatedlib.php b/lib/deprecatedlib.php
index e8b96db743..bba4202d42 100644
--- a/lib/deprecatedlib.php
+++ b/lib/deprecatedlib.php
@@ -3043,7 +3043,5 @@ function choose_from_menu ($options, $name, $selected='', $nothing='choose', $sc
         return $output;
     } else {
         echo $output;
-        die();
     }
-
 }
-- 
2.39.5