summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Levy <alon@pobox.com>2015-03-01 18:34:42 +0200
committerAlon Levy <alon@pobox.com>2015-03-01 18:34:42 +0200
commit12dc1e61b24cd6ebaff2308bf34b6d3050b7c6ea (patch)
tree96678ac24b6a8dc520856cb7e1953c1d02dc66bd
parent08682c3ca22cf909410c1576fb7ad52483ce69d7 (diff)
build.ant: copy existing user_db.db for local deployment if it exists
-rw-r--r--build.ant1
1 files changed, 1 insertions, 0 deletions
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>