From 2ad7ba81b68e1d3845c5059bbfd52cd4084d6a26 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 6 Jun 2013 14:42:31 +0200
Subject: [PATCH] check for database version

---
 utils/xmldump.php | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/utils/xmldump.php b/utils/xmldump.php
index faf0e46d7..06d7754d6 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -50,16 +50,16 @@ if(isset($options['config'])) {
 	$settings = new Settings();
 }
 
-if(isset($settings->_extraPath))
-	ini_set('include_path', $settings->_extraPath. PATH_SEPARATOR .ini_get('include_path'));
-
-/* Set alternative config file */
+/* Set maximum size of files included in xml file */
 if(isset($options['maxsize'])) {
 	$maxsize = intval($maxsize);
 } else {
 	$maxsize = 100000;
 }
 
+if(isset($settings->_extraPath))
+	ini_set('include_path', $settings->_extraPath. PATH_SEPARATOR .ini_get('include_path'));
+
 require_once("SeedDMS/Core.php");
 
 if(isset($options['folder'])) {
@@ -312,6 +312,11 @@ $db = new SeedDMS_Core_DatabaseAccess($settings->_dbDriver, $settings->_dbHostna
 $db->connect() or die ("Could not connect to db-server \"" . $settings->_dbHostname . "\"");
 
 $dms = new SeedDMS_Core_DMS($db, $settings->_contentDir.$settings->_contentOffsetDir);
+if(!$dms->checkVersion()) {
+	echo "Database update needed.";
+	exit;
+}
+
 $dms->setRootFolderID($settings->_rootFolderID);
 
 echo "<?xml version=\"1.0\" encoding=\"utf-8\"?>\n";