diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/create_listing_file.php | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/tools/create_listing_file.php b/tools/create_listing_file.php index 3111a71c5..299e32bab 100644 --- a/tools/create_listing_file.php +++ b/tools/create_listing_file.php @@ -480,8 +480,9 @@ if (isset($_GET['action'])) } else { - $page['action'] = 'generate'; + $page['action'] = ''; } + echo '<pre>'; switch ($page['action']) { @@ -547,6 +548,25 @@ switch ($page['action']) } break; } + default : + { + // Menu de lancement pour la mise à jour manuel des sites distant + echo '</pre> +<ul> + <li> + <a href="create_listing_file.php?action=generate">Generate listing.xml</a> + </li> + + <li> + <a href="create_listing_file.php?action=test">Test</a> + </li> + + <li> + <a href="create_listing_file.php?action=clean">Clean</a> + </li> +</ul> +<pre>'; + } } echo '</pre>'; ?> |