From 2286c970ce9d32a630e289df2685dbdff8e18217 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 10:00:10 -0500
Subject: Allow sources to be returned by RPCs

---
 lib/js/urweb.js | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/js')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index f05957a0..015befa6 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -976,6 +976,10 @@ function pflo(s) {
         return null;
 }
 
+function parseSource(s1, s2) {
+    return eval("s" + s1 + "_" + s2);
+}
+
 function uf(s) {
     if (s.length == 0)
         return "_";
-- 
cgit v1.2.3