What is the best way of getting a random string of characters? Either built in (a random primitive) or a way of exploiting the features of the database (I'm using sqlite, so for example this gives a decent string: SELECT hex(randomblob(30)); within the database interface, but I'm not sure how to get that back into ur).
Thanks, Daniel _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
