Is there a way to get the system's timestamp? Something like PHP's time().
I'm asking because I'm trying to append a unique string to a filename (something like errors_143234334.log), where 143234334 would be a timestamp or a date. An alternative approach is to generate a random number, but then I loose sequentiality.
Thanks! Gonzalo _______________________________________________ chuck-users mailing list [email protected] https://lists.cs.princeton.edu/mailman/listinfo/chuck-users
