jshint/jshint — pull request #672 by vigneshm (2012-10-04 16:55:59+00:00)
Title: Fixes #671

Command line parameters to wsh.js are converted from "string" to "number" (if applicable) and passed on to jshint