add jslint_port variable and set to 3003.

davidmiller · Jan 29, 2010 · e12c7a1 · e12c7a1
1 parent 1a5e31f
commit e12c7a1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/app.js b/app.js
@@ -29,6 +29,8 @@ configure(function () {
     enable('show exceptions');
 });
 
+var jslint_port = 3003;
+
 /* copied from jslint's rhino.js */
 var jslint_options = {
     bitwise: true,
@@ -129,4 +131,4 @@ post('/example/ok', function () {
 });
 
 
-run();
+run(jslint_port);
diff --git a/jslint.curl b/jslint.curl
@@ -1,5 +1,5 @@
 #!/bin/bash
 # A faster way to jslint; curl's start-up cost is much lower than rhino's.
-JSLINT_URL="http://localhost:3000/jslint"
+JSLINT_URL="http://localhost:3003/jslint"
 exec curl --form source="<${1}" --form filename="${1}" ${JSLINT_URL}
 #exec curl --form source="@${1}" ${JSLINT_URL}