admin: show Jirafeau version in admin interface

[jirafeau_project.git] / f.php

diff --git a/f.php b/f.php
index 75d77d768a5f9fafc98eec91db189067076a8a85..02186024fa0873a1554ef98458ba1dfe2b7329c4 100644 (file)
--- a/f.php
+++ b/f.php
@@ -49,6 +49,13 @@ if (!preg_match ('/[0-9a-zA-Z_-]+$/', $link_name))
 
 $link = jirafeau_get_link ($link_name);
 if (count ($link) == 0)
+{
+    /* Try alias. */
+    $alias = jirafeau_get_alias (md5 ($link_name));
+    if (count ($alias) > 0)
+        $link = jirafeau_get_link ($alias["destination"]);
+}
+if (count ($link) == 0)
 {
     require (JIRAFEAU_ROOT.'lib/template/header.php');
     echo '<div class="error"><p>' . t('Sorry, the requested file is not found') .
@@ -173,6 +180,7 @@ if (!empty ($link['key']))
             $password_challenged = true;
        else
         {
+            sleep (2);
             require (JIRAFEAU_ROOT.'lib/template/header.php');
             echo '<div class="error"><p>' . t('Access denied') .
             '</p></div>';