diff -r abe711eddd45 -r 19cc35549204 delete_supermaster.php
--- a/delete_supermaster.php	Tue May 13 19:03:24 2008 +0000
+++ b/delete_supermaster.php	Tue May 13 20:37:32 2008 +0000
@@ -23,7 +23,7 @@
 include_once("inc/header.inc.php");
 
 $master_ip = "-1";
-if (isset($_GET['master_ip']) && (is_valid_ip($_GET['master_ip']) || is_valid_ip6($_GET['master_ip']))) {
+if (isset($_GET['master_ip']) && (is_valid_ipv4($_GET['master_ip']) || is_valid_ipv6($_GET['master_ip']))) {
 	 $master_ip = $_GET['master_ip'];
 }