Mercurial > urweb
comparison lib/js/urweb.js @ 1556:e1f5d9c4cc20
An abstract type of IDs
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 03 Sep 2011 12:51:05 -0400 |
parents | d5c961c709f9 |
children | df6a7a22760a |
comparison
equal
deleted
inserted
replaced
1555:d5c961c709f9 | 1556:e1f5d9c4cc20 |
---|---|
1372 if (u == null) | 1372 if (u == null) |
1373 er("Disallowed URL: " + s); | 1373 er("Disallowed URL: " + s); |
1374 return u; | 1374 return u; |
1375 } | 1375 } |
1376 | 1376 |
1377 | |
1378 // ID generation | |
1379 | |
1380 var nextId = 0; | |
1381 | |
1382 function fresh() { | |
1383 return (--nextId).toString(); | |
1384 } | |
1385 | |
1377 // App-specific code | 1386 // App-specific code |
1378 | 1387 |