Fix: bad socket name

2011-03-08 18:27:29 +00:00
parent 5df6353314
commit 010e40a167
1 changed files with 1 additions and 1 deletions
--- a/htdocs/admin/system/xdebug.php
+++ b/htdocs/admin/system/xdebug.php
@@ -93,7 +93,7 @@ if (function_exists('socket_create'))
        echo "There is no Remote debug server at this address.\n";
 	}
 	socket_close($client);
-	socket_close($sock);
+	socket_close($socket);
 }
 else
 {