summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-03-16 08:42:51 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-03-16 08:42:51 -0400
commita613f7d9361f504290757c686d87f56dc1e7b088 (patch)
tree3c3cb780abb8c262dab321cbadb323a0cfb66957 /lib
parente90f7afc607a0af326c87ebb184b7eacfee8b92b (diff)
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 5a18e17c..74badd36 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1731,7 +1731,7 @@ function bless(s) {
var nextId = 0;
function fresh() {
- return (--nextId).toString();
+ return "uw" + (--nextId);
}