espruino/Espruino — pull request #242 by aozima (2014-02-20 09:15:10+00:00)
Title: fixed SetInteger issue.

at b7e168d6eb358949b03feb3454602b6f41fc4a19

~~~
-	jsvSetInteger(timerTime, jsvGetInteger(timerTime)+jshGetTimeFromMilliseconds(interval));
+	jsvSetInteger(timerTime, jsvGetInteger(timerTime)+interval);
~~~