# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1227885440 -18000
# Node ID 613c5c6bdce44516508d254791f3105f5274b711
# Parent  c0a4a1e63d70437f84d15dd7caf63a4974eb94c0
Added option core.data_path

diff -r c0a4a1e63d70 -r 613c5c6bdce4 main.lua
--- a/main.lua	Fri Nov 28 01:16:26 2008 +0500
+++ b/main.lua	Fri Nov 28 20:17:20 2008 +0500
@@ -24,6 +24,8 @@
 	end
 end
 
+require "util.datamanager".set_data_path(config.get("*", "core", "data_path") or "data");
+
 local server = require "net.server"
 
 require "util.dependencies"
diff -r c0a4a1e63d70 -r 613c5c6bdce4 util/datamanager.lua
--- a/util/datamanager.lua	Fri Nov 28 01:16:26 2008 +0500
+++ b/util/datamanager.lua	Fri Nov 28 20:17:20 2008 +0500
@@ -17,6 +17,8 @@
 	end
 end
 
+local data_path = "data";
+
 module "datamanager"
 
 
@@ -70,14 +72,18 @@
 
 ------- API -------------
 
+function set_data_path(path)
+	data_path = path;
+end
+
 function getpath(username, host, datastore, ext)
 	ext = ext or "dat";
 	if username then
-		return format("data/%s/%s/%s.%s", encode(host), datastore, encode(username), ext);
+		return format("%s/%s/%s/%s.%s", data_path, encode(host), datastore, encode(username), ext);
 	elseif host then
-		return format("data/%s/%s.%s", encode(host), datastore, ext);
+		return format("%s/%s/%s.%s", data_path, encode(host), datastore, ext);
 	else
-		return format("data/%s.%s", datastore, ext);
+		return format("%s/%s.%s", data_path, datastore, ext);
 	end
 end