Mercurial > urweb
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)