server_server_com.pm: dead clients will be deleted from known_clients_db when the...

[gosa.git] / gosa-core / update-gosa

diff --git a/gosa-core/update-gosa b/gosa-core/update-gosa
index 76693ce920af2c56dc237e0e946492380b6a3a91..a8827e8cd3f3c709816876453bad19249262b8e9 100755 (executable)
--- a/gosa-core/update-gosa
+++ b/gosa-core/update-gosa
@@ -1,4 +1,4 @@
-#!/usr/bin/php5
+#!/usr/bin/php
 <?php
 /*
  * This code is part of GOsa (http://www.gosa-project.org)
@@ -188,6 +188,8 @@ function rescan_i18n()
                        exit (5);
                }
        }
+
+       echo "! Warning: you may need to reload your webservice!\n";
 }
 
 
@@ -257,9 +259,7 @@ function parse_ini($file)
                                $res= $plugin['name'];
                                $description[$res]= $plugin['description'];
                                $versions[$res]= $plugin['version'];
-                               if (isset($plugin['provides'])){
-                                       $provides[$res]= explode(',', preg_replace('/\s+/', '', $plugin['provides']));
-                               }
+                               $provides[$res]= $res;
                                if (isset($plugin['depends'])){
                                        $depends[$res]= explode(',', preg_replace('/\s+/', '', $plugin['depends']));
                                }
@@ -280,7 +280,7 @@ function dependency_check()
 
        foreach ($depends as $name => $pl_depends){
                foreach ($pl_depends as $pl){
-                       if (!is_provided($pl, $provides)){
+                       if (!in_array($pl, $provides)){
                                echo "! Error: plugin '$name' depends on '$pl' which is not provided by any plugin\n\n";
                                exit (1);
                        }
@@ -289,22 +289,6 @@ function dependency_check()
 }
 
 
-function is_provided($dependency)
-{
-       global $provides;
-
-       $result= FALSE;
-       foreach ($provides as $name => $pl_provides){
-               if(in_array($dependency, $pl_provides)) {
-                       $result= TRUE;
-                       continue;
-               }
-       }
-
-       return $result;
-}
-
-
 function load_plugins()
 {
        if (!is_dir(PLUGSTATE_DIR)){