[SCM] Git repository for pkg-virtuoso branch, master, updated. debian/6.1.3+dfsg1-2.1-57-g17014c4

[José Manuel Santamar?==?UTF-8?Q?ía Lema]

The following commit has been merged in the master branch:
commit a3bbbd31a2ac5a7cd9f63326068656f31b1efbe4
Author: José Manuel Santamaría Lema <panfaust at gmail.com>
Date:   Sat Jun 9 03:45:27 2012 +0200

    Minor: fix indent.

diff --git a/debian/virtuoso-opensource-6.1.postrm b/debian/virtuoso-opensource-6.1.postrm
index 60e4e11..840d4ec 100644
--- a/debian/virtuoso-opensource-6.1.postrm
+++ b/debian/virtuoso-opensource-6.1.postrm
@@ -20,15 +20,15 @@ if [ "$1" == "purge" ]; then
 	rm -rf /var/log/virtuoso-opensource-6.1
 
 	# ...but get explicit confirmation before removing databases
-  db_input high virtuoso-opensource-6.1/check-remove-databases || true
-  db_go || true
-  db_get virtuoso-opensource-6.1/check-remove-databases || true
-  if [ "$RET" == "true" ]; then
-    rm -rf /var/lib/virtuoso-opensource-6.1
-  fi
-
-  rm -f $FILE_INI
-  rm -f $FILE_ODBC_DSN
+	db_input high virtuoso-opensource-6.1/check-remove-databases || true
+	db_go || true
+	db_get virtuoso-opensource-6.1/check-remove-databases || true
+	if [ "$RET" == "true" ]; then
+		rm -rf /var/lib/virtuoso-opensource-6.1
+	fi
+
+	rm -f $FILE_INI
+	rm -f $FILE_ODBC_DSN
 
 	update-rc.d virtuoso-opensource-6.1 remove >/dev/null || exit $?
 fi

-- 
Git repository for pkg-virtuoso