diff -r 4ec5ab29f634 -r b785e54690ce delete_supermaster.php
--- 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");