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