From e98335079f3a9ba891122003cf24381f12617e01 Mon Sep 17 00:00:00 2001 From: "vincent@cubedesigners.com" Date: Fri, 6 Jul 2012 16:53:26 +0000 Subject: [PATCH] --- inc/config.inc.php | 2 ++ inc/ws/Controlleur/class.ws.maintenance.php | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/inc/config.inc.php b/inc/config.inc.php index 72f2f212b..aea0ae1fd 100644 --- a/inc/config.inc.php +++ b/inc/config.inc.php @@ -34,6 +34,8 @@ define('WS_COMPILE_ASSETS', WS_FILES . '/compile'); define('WS_SOUNDS', WS_FILES . '/sounds'); define('WS_TOOLS', WS_FILES . '/tools'); define('WS_SHM', '/dev/shm'); +define('WS_HTML5_PROD_REV', '7117'); +define('WS_HTML5_DEV_REV', 'HEAD'); define('WORKER_PREFIX', 'worker.'); diff --git a/inc/ws/Controlleur/class.ws.maintenance.php b/inc/ws/Controlleur/class.ws.maintenance.php index 6101a0049..1df1b4616 100644 --- a/inc/ws/Controlleur/class.ws.maintenance.php +++ b/inc/ws/Controlleur/class.ws.maintenance.php @@ -734,6 +734,11 @@ class wsMaintenance { ldap_close($ds); return $res; } + + public static function updateHTML5Sources(){ + $svn=new cubeCommandLine('svn'); + $svn->setPath(CONVERTER_PATH); + } } -- 2.39.5