From fc01f2d86e0700274f9657bb4fdc076e8f601a8d Mon Sep 17 00:00:00 2001 From: Miles Lott Date: Mon, 13 Aug 2001 22:11:47 +0000 Subject: [PATCH] not perfect but better re: dup server name conflict --- admin/editserver.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/editserver.php b/admin/editserver.php index bb7536585d..ecdd9c24de 100644 --- a/admin/editserver.php +++ b/admin/editserver.php @@ -62,7 +62,7 @@ $errorcount = 0; $tmp = $is->name2id($server_name); - if($tmp != $server_id) + if($tmp) { $error[$errorcount++] = lang('That server name has been used already !'); }