X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=debugger%2Faction.php;h=2b70e2c08c1cd7dae47d4c0d9b2ed2344bf5065f;hb=322fe8c316efdb0e5844898f439bbb0cfdc52fb3;hp=081340b11555427354f40c361de6aa88e0256435;hpb=6edd4065ba04efc02c7772ed7ce48dc7cd3b8721;p=plcapi.git

diff --git a/debugger/action.php b/debugger/action.php
index 081340b..2b70e2c 100644
--- a/debugger/action.php
+++ b/debugger/action.php
@@ -81,7 +81,7 @@ td form {margin: 0;}
       $server = 'http://'.$server;
     }
     if ($proxy != '') {
-      $pproxy = split(':', $proxy);
+      $pproxy = explode(':', $proxy);
       if (count($pproxy) > 1)
         $pport = $pproxy[1];
       else