find fauxton in dev or final place

1 files changed, 6 insertions, 1 deletions

diff --git a/dev/run b/dev/run
index 233438da8..fc1bab281 100755
--- a/dev/run
+++ b/dev/run
@@ -167,6 +167,11 @@ def check_beams(ctx):
 
 @log('Prepare configuration files')
 def setup_configs(ctx):
+    if os.path.exists("src/fauxton/dist/release"):
+        fauxton_root = "src/fauxton/dist/release"
+    else:
+        fauxton_root = "share/www"
+
     for idx, node in enumerate(ctx['nodes']):
         cluster_port, backend_port = get_ports(idx + ctx['node_number'])
         env = {
@@ -179,7 +184,7 @@ def setup_configs(ctx):
             "node_name": "-name %s@127.0.0.1" % node,
             "cluster_port": cluster_port,
             "backend_port": backend_port,
-            "fauxton_root": "src/fauxton/dist/release",
+            "fauxton_root": fauxton_root,
             "uuid": "fake_uuid_for_dev"
         }
         write_config(ctx, node, env)