Changed: tools.inc.php removed from different places and converted to class...

mcramer

2012-08-30 31f6ceb52bc4422c8a9a0ed8c6b167b3089bb6a6

 server/plugins-available/nginx_plugin.inc.php

@@ -1314,7 +1314,7 @@
                $docroot = escapeshellcmd($data['old']['document_root']);
                if($docroot != '' && !stristr($docroot,'..')) {
                    if($data['old']['type'] == 'vhost') exec('rm -rf '.$docroot);
                    elseif(!stristr($data['old']['web_folder'], '..')) exec('rm -rf '.$docroot.'/'.$web_folder;
                    elseif(!stristr($data['old']['web_folder'], '..')) exec('rm -rf '.$docroot.'/'.$web_folder);
                }
         
                //remove the php fastgi starter script if available