- $file = $path_to_root.($id == -1 ? '' : '/company/'.$id).'/installed_extensions.php';
- $installed_extensions = array();
- if (is_file($file)) {
- include($file);
+ // update per company files
+ $cnt = count($db_connections);
+ for($i = 0; $i < $cnt; $i++)
+ {
+ $newexts = $extensions;
+ // update 'active' status
+ $exts = get_company_extensions($i);
+ foreach ($exts as $key => $ext)
+ {
+ if (isset($newexts[$key]))
+ $newexts[$key]['active'] = $exts[$key]['active'];
+ }
+ if(!write_extensions($newexts, $i))
+ {
+ display_notification(sprintf(_("Cannot update extensions list for company '%s'."),
+ $db_connections[$i]['name']));
+ return false;
+ }