X-Git-Url: https://git.tokkee.org/?a=blobdiff_plain;f=gosa-core%2Fupdate-gosa;h=55214d133d92abce2ba557858b96896ab11558e8;hb=4bc8e4829781eea624d00795f0f865ea32b7ad93;hp=73eb2c69f47a89d65dc48e2f5c69a5101f3c29c5;hpb=57c948f5230dcac0408be532f136e1ade3a2515f;p=gosa.git diff --git a/gosa-core/update-gosa b/gosa-core/update-gosa index 73eb2c69f..55214d133 100755 --- a/gosa-core/update-gosa +++ b/gosa-core/update-gosa @@ -1,4 +1,4 @@ -#!/usr/bin/php5 +#!/usr/bin/php compiled/${language}/LC_MESSAGES/messages.po)", $val); + system ("(cd ".LOCALE_DIR." && msgcat --use-first ".implode(" ", $po_files)." > compiled/${language}/LC_MESSAGES/messages.po)", $val); if ($val != 0){ echo "Merging of message files failed - aborted"; exit (4); @@ -188,6 +188,8 @@ function rescan_i18n() exit (5); } } + + echo "! Warning: you may need to reload your webservice!\n"; } @@ -218,13 +220,15 @@ function rescan_guide() $master_guide_content.= file_get_contents($guide); } - $plugins= scandir('doc/plugins'); - foreach($plugins as $key => $plugin) { - if($plugin != '.' && $plugin != '..') { - if(is_dir('doc/plugins/'.$plugin)) { - $guide= 'doc/plugins/'.$plugin.'/guide.xml'; - if(file_exists($guide) && is_readable($guide)) { - $master_guide_content.= file_get_contents($guide); + if(file_exists('doc/plugins')) { + $plugins= scandir('doc/plugins'); + foreach($plugins as $key => $plugin) { + if($plugin != '.' && $plugin != '..') { + if(is_dir('doc/plugins/'.$plugin)) { + $guide= 'doc/plugins/'.$plugin.'/guide.xml'; + if(file_exists($guide) && is_readable($guide)) { + $master_guide_content.= file_get_contents($guide); + } } } } @@ -234,7 +238,7 @@ function rescan_guide() $master_guide_content= preg_replace("/[ \t][ \t]*/", " ", $master_guide_content); - if(is_writable($master_guide)) { + if((file_exists($master_guide) && is_writable($master_guide)) || is_writable('doc')) { file_put_contents($master_guide, $master_guide_content); } @@ -253,9 +257,9 @@ function parse_ini($file) $plugin= &$tmp['gosa-plugin']; if (isset($plugin['name'])&& isset($plugin['description'])){ $res= $plugin['name']; - $provides[$res]= $plugin[$res]; $description[$res]= $plugin['description']; $versions[$res]= $plugin['version']; + $provides[$res]= $res; if (isset($plugin['depends'])){ $depends[$res]= explode(',', preg_replace('/\s+/', '', $plugin['depends'])); }