+(* FIXME: hcoop.net reference *)
+fun realLogDirOf user =
+ if size user < 2 then
+ "/bad_username"
+ else
+ String.concat ["/afs/hcoop.net/user/",
+ String.substring (user, 0, 1),
+ "/",
+ String.substring (user, 0, 2),
+ "/",
+ user,
+ "/.logs/apache"]
+