added production / devel mode to webui

1 files changed, 6 insertions, 0 deletions

diff --git a/pavement.py b/pavement.py
index b10ebfd0c..deb8b8a2b 100644
--- a/pavement.py
+++ b/pavement.py
@@ -221,6 +221,12 @@ def optimize_js(options):
 
     (webdir / "js-optimized").rmtree()
 
+    if not path(options.optimize_js.r).exists():
+        print "Loading r.js"
+        from urllib import urlretrieve
+        urlretrieve('http://requirejs.org/docs/release/2.1.6/r.js',
+                    options.optimize_js.r)
+
     cmd = ["node", options.optimize_js.r, "-o", target]
 
     print "running", cmd