diff lib/js/urweb.js @ 1624:f96e708b4b93

Client-side strlenGe
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:05:06 -0500
parents a20daedfd1d0
children bd34a4af516a
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Dec 03 15:59:21 2011 -0500
+++ b/lib/js/urweb.js	Sat Dec 03 16:05:06 2011 -0500
@@ -943,6 +943,9 @@
 function ssub(s, start, len) {
     return s.substring(start, start+len);
 }
+function strlenGe(s, len) {
+    return s.length >= len;
+}
 
 function trimZeroes(s) {
     for (var i = 0; i < s.length; ++i)