From b98a5ebc2f17cb18eb80eef23606644400d06563 Mon Sep 17 00:00:00 2001
From: cdujeu <charles@ajaxplorer.info>
Date: Mon, 4 Aug 2014 10:47:31 +0200
Subject: [PATCH] Migrate 5.3.1 to 5.3.2 : enable ajxp_home and set it as
 DEFAULT_START_REPOSITORY

---
 dist/php/5.3.2.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 dist/php/5.3.2.php

diff --git a/dist/php/5.3.2.php b/dist/php/5.3.2.php
new file mode 100644
index 0000000000..337baf98dc
--- /dev/null
+++ b/dist/php/5.3.2.php
@@ -0,0 +1,14 @@
+<?php
+// FORCE bootstrap_repositories copy, to enable ajxp_home workspace
+if (is_file(AJXP_INSTALL_PATH."/conf/bootstrap_repositories.php".".new-".date("Ymd"))) {
+    rename(AJXP_INSTALL_PATH."/conf/bootstrap_repositories.php", AJXP_INSTALL_PATH."/conf/bootstrap_repositories.php.pre-update");
+    rename(AJXP_INSTALL_PATH."/conf/bootstrap_repositories.php".".new-".date("Ymd"), AJXP_INSTALL_PATH."/conf/bootstrap_repositories.php");
+}
+
+echo "The bootstrap_repositories files was replaced by the new version, the .pre-update version is kept.";
+
+$root_role = AuthService::getRole("ROOT_ROLE");
+if($root_role !== false){
+    $root_role->setParameterValue("core.conf", "DEFAULT_START_REPOSITORY", "ajxp_home");
+    AuthService::updateRole($root_role);
+}
\ No newline at end of file