Hi Jørgen, Rafal,
Jørgen Løland, 20.05.2009 10:49:
> Ingo,
>
> STATUS: Approved
> REQUESTS: None
>
> SUGGESTIONS:
> ------------
> 1) I wonder if a time stamp would be better than uuid when creating the
> new directory name. I'm not sure what the convention is in MySQL for
> such operations, but other programs on my Linux box tend to use date and
> time. E.g., I get this when running RESTORE:
>
> mydb-df08d7dc-4519-11de-a58d-0019dbd0e739
>
> whereas my old x.conf files look like this:
>
> xorg.conf.dist-upgrade-200905040901
>
> To me, the second one provides more information. I'll leave it to you to
> decide what's best.
I agree with the idea. I'm willing to change it. The only downside I see
is that there might be a tiny higher probability for conflict of
date+time versus UUID.
So I'd like to have another opinion from Rafal.
Regards
Ingo
--
Ingo Strüwing, Database Group
Sun Microsystems GmbH, Sonnenallee 1, D-85551 Kirchheim-Heimstetten
Geschäftsführer: Thomas Schröder, Wolfgang Engels, Wolf Frenkel
Vorsitzender des Aufsichtsrates: Martin Häring HRB München 161028
