funny stuff

[Andre Poenitz]

from filetools.C:

// Is a file readable ?
bool IsFileReadable (string const & path)
{
        FileInfo file(path);
        if (file.isOK() && file.isRegular() && file.readable())
                return true;
        else
                return false;
}