Update filelist.php
This commit is contained in:
parent
82dfc6d066
commit
f7beda8624
|
|
@ -112,9 +112,6 @@
|
|||
case 'grammer':
|
||||
$edit_directory = $_SESSION['switch']['grammar']['dir'];
|
||||
break;
|
||||
case 'path':
|
||||
$edit_directory = $_SESSION['editor']['path']['text'];
|
||||
break;
|
||||
case 'provision':
|
||||
switch (PHP_OS) {
|
||||
case "Linux":
|
||||
|
|
@ -147,7 +144,16 @@
|
|||
$edit_directory = $_SESSION['switch']['conf']['dir'];
|
||||
break;
|
||||
}
|
||||
if (!isset($edit_directory)) {
|
||||
foreach ($_SESSION['editor']['path'] as $path) {
|
||||
if ($_SESSION["app"]["edit"]["dir"] == $path) {
|
||||
$edit_directory = $path;
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
//define ajax functions
|
||||
echo "<script type=\"text/javascript\" language=\"javascript\">\n";
|
||||
echo " function makeRequest(url, strpost) {\n";
|
||||
echo " var http_request = false;\n";
|
||||
|
|
|
|||
Loading…
Reference in New Issue