From 12dc1e61b24cd6ebaff2308bf34b6d3050b7c6ea Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Sun, 1 Mar 2015 18:34:42 +0200
Subject: build.ant: copy existing user_db.db for local deployment if it exists

---
 build.ant | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.ant b/build.ant
index 69b2806d..16827ee8 100644
--- a/build.ant
+++ b/build.ant
@@ -94,6 +94,7 @@
          <copy file="res/etc/rhizi-server.conf"
                tofile="${targetDeploymentDir}/etc/rhizi-server.conf" />
          <rsync src="res/templates/" dst="${targetDeploymentDir}/templates" />
+         <copy file="res/user_db.db" tofile="${targetDeploymentDir}/user_db.db" quiet="true" />
       </parallel>
 
    </target>
-- 
cgit v1.3.1