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 '
';
switch ($page['action'])
{
@@ -547,6 +548,25 @@ switch ($page['action'])
}
break;
}
+ default :
+ {
+ // Menu de lancement pour la mise à jour manuel des sites distant
+ echo '
+'; + } } echo ''; ?>