Version 0.10.
Authors:
- SoniEx2
About
| <?php | |
| /** | |
| * Fancy ID generator that creates 20-character string identifiers with the following properties: | |
| * | |
| * 1. They're based on timestamp so that they sort *after* any existing ids. | |
| * 2. They contain 72-bits of random data after the timestamp so that IDs won't collide with other clients' IDs. | |
| * 3. They sort *lexicographically* (so the timestamp is converted to characters that will sort properly). | |
| * 4. They're monotonically increasing. Even if you generate more than one in the same timestamp, the | |
| * latter ones will sort after the former ones. We do this by using the previous random bits |
| local Object = require 'lib.classic' | |
| local function push (t, ...) | |
| local pushed = select('#', ...) | |
| for i=1, pushed do | |
| t[t.n + i] = select(i, ...) | |
| end | |
| return t.n + pushed |
| -- $Id: utf8.lua 179 2009-04-03 18:10:03Z pasta $ | |
| -- | |
| -- Provides UTF-8 aware string functions implemented in pure lua: | |
| -- * string.utf8len(s) | |
| -- * string.utf8sub(s, i, j) | |
| -- * string.utf8reverse(s) | |
| -- * string.utf8char(unicode) | |
| -- * string.utf8unicode(s, i, j) | |
| -- * string.utf8gensub(s, sub_len) | |
| -- |