delete_supermaster.php
changeset 37 b785e54690ce
parent 13 2ff220cfde13
child 47 ae140472d97c
--- a/delete_supermaster.php	Mon Jul 02 23:01:18 2007 +0000
+++ b/delete_supermaster.php	Tue Jul 10 21:24:06 2007 +0000
@@ -27,6 +27,6 @@
         <?
 } else {
         include_once("inc/header.inc.php");
-        die("Nothing to do!");
+        echo _("Nothing to do!");
 }
 include_once("inc/footer.inc.php");