diff --git a/app/extensions/extension_copy.php b/app/extensions/extension_copy.php index 48da410a35..51821110ac 100644 --- a/app/extensions/extension_copy.php +++ b/app/extensions/extension_copy.php @@ -141,6 +141,14 @@ else { $db->exec(check_sql($sql)); unset($sql); +//synchronize configuration + if (is_writable($_SESSION['switch']['extensions']['dir'])) { + require_once "app/extensions/resources/classes/extension.php"; + $ext = new extension; + $ext->xml(); + unset($ext); + } + //redirect the user require_once "includes/header.php"; echo "\n"; diff --git a/app/extensions/extension_edit.php b/app/extensions/extension_edit.php index 8d280d2fd2..98d4753a4a 100644 --- a/app/extensions/extension_edit.php +++ b/app/extensions/extension_edit.php @@ -514,7 +514,7 @@ if (count($_POST)>0 && strlen($_POST["persistformvar"]) == 0) { if (permission_exists('extension_add') || permission_exists('extension_edit')) { //synchronize configuration - if (is_readable($_SESSION['switch']['extensions']['dir'])) { + if (is_writable($_SESSION['switch']['extensions']['dir'])) { require_once "app/extensions/resources/classes/extension.php"; $ext = new extension; $ext->xml();