diff -r 4ec5ab29f634 -r b785e54690ce delete_domain.php
--- a/delete_domain.php	Mon Jul 02 23:01:18 2007 +0000
+++ b/delete_domain.php	Tue Jul 10 21:24:06 2007 +0000
@@ -45,6 +45,6 @@
         include_once("inc/header.inc.php");
 } else {
         include_once("inc/header.inc.php");
-        die("Nothing to do!");
+        echo _("Nothing to do!");
 }
 include_once("inc/footer.inc.php");