Merge branch 'dev' into releases

1 files changed, 27 insertions, 0 deletions

diff --git a/actualize_script.php b/actualize_script.php
new file mode 100755
index 000000000..76bbe2e4f
--- /dev/null
+++ b/actualize_script.php
@@ -0,0 +1,27 @@
+<?php
+
+// Constantes de chemins
+define ('PUBLIC_PATH', realpath (dirname (__FILE__) . '/public'));
+define ('LIB_PATH', realpath (PUBLIC_PATH . '/../lib'));
+define ('APP_PATH', realpath (PUBLIC_PATH . '/../app'));
+define ('LOG_PATH', realpath (PUBLIC_PATH . '/../log'));
+define ('CACHE_PATH', realpath (PUBLIC_PATH . '/../cache'));
+
+$_GET['c'] = 'feed';
+$_GET['a'] = 'actualize';
+$_GET['force'] = true;
+$_SERVER['HTTP_HOST'] = '';
+
+set_include_path (get_include_path ()
+		 . PATH_SEPARATOR
+		 . LIB_PATH
+		 . PATH_SEPARATOR
+		 . LIB_PATH . '/minz'
+		 . PATH_SEPARATOR
+		 . APP_PATH);
+
+require (APP_PATH . '/App_FrontController.php');
+
+$front_controller = new App_FrontController ();
+$front_controller->init ();
+$front_controller->run ();