handle unknown servers

mukunda- · Jul 11, 2014 · e31ad45 · e31ad45
1 parent 5f12e5d
commit e31ad45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.php b/main.php
@@ -136,7 +136,7 @@ function GetServerList() {
 	} 
 }
 
-GetServerName( index ) {
+function GetServerName( index ) {
 	$servername = isset($servers[index]) ? $servers[index]['name'] : "UNKNOWN";
 }