From 29ac21c98b9733ab9cb967cc5ae51aa9b23bed19 Mon Sep 17 00:00:00 2001
From: RaNaN <Mast3rRaNaN@hotmail.de>
Date: Fri, 24 May 2013 21:44:02 +0200
Subject: added production / devel mode to webui

---
 pavement.py | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'pavement.py')

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
-- 
cgit v1.2.3