From 010e40a1674dd86f4b38f83984d37abf1f016779 Mon Sep 17 00:00:00 2001 From: Regis Houssin Date: Tue, 8 Mar 2011 18:27:29 +0000 Subject: [PATCH] Fix: bad socket name --- htdocs/admin/system/xdebug.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/admin/system/xdebug.php b/htdocs/admin/system/xdebug.php index 67040771992..97829a57bd1 100644 --- 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 {