From a7ff84e969d34c8c74c5fce987e7918e4472938a Mon Sep 17 00:00:00 2001
From: Frank Celler <frank@arangodb.com>
Date: Sun, 14 Sep 2014 21:42:38 +0200
Subject: [PATCH] jshint version

---
 config/generateErrorfile.py | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/config/generateErrorfile.py b/config/generateErrorfile.py
index fdf4770dae..f973de95ab 100644
--- a/config/generateErrorfile.py
+++ b/config/generateErrorfile.py
@@ -20,18 +20,13 @@ def wrap(string, width=80, ind1=0, ind2=0, prefix=''):
 
 # generate javascript file from errors
 def genJsFile(errors):
-  jslint = "/*jslint indent: 2,\n"\
-           "         nomen: true,\n"\
-           "         maxlen: 240,\n"\
-           "         sloppy: true,\n"\
-           "         vars: true,\n"\
-           "         white: true,\n"\
-           "         plusplus: true */\n"\
+  jslint = "/*jshint maxlen: 200 */\n"\
            "/*global require */\n\n"
 
   out = jslint \
       + prologue\
       + "(function () {\n"\
+      + "  \"use strict\";\n"\
       + "  var internal = require(\"internal\");\n"\
       + "\n"\
       + "  internal.errors = {\n"
@@ -47,7 +42,7 @@ def genJsFile(errors):
     i = i + 1 
 
     if i < len(errors):
-      out = out + ", \n"
+      out = out + ",\n"
     else:
       out = out + "\n"