[PATCH] Fix util._statfiles_clustered() failing at root of a windows drive

[Patrick Mézard]

Andrei Vermel a écrit :
> # HG changeset patch
> # User Andrei Vermel <avermel at mail.ru>
> # Date 1225541714 -10800
> # Node ID cc2e2738a4b426cb214be1baebd998fae2b53edb
> # Parent  5db7701979c516b99f150ba7c41dbebe43df8e2a
> Fix util._statfiles_clustered() failing at root of a windows drive

I pushed my version in crew as 00d76fa3ffba.

Thanks for reporting and debugging this !

--
Patrick Mézard