blob: 13d161784e77804b024e23192cabd5085fe9e8c1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- ./src/Mixfix/global.cc.orig 2006-10-07 01:09:16.000000000 +0200
+++ ./src/Mixfix/global.cc 2011-11-10 19:36:44.000000000 +0100
@@ -89,6 +89,11 @@
directory = executableDirectory;
return true;
}
+ if (directoryManager.checkAccess(MAUDE_DATADIR, fileName, R_OK, ext))
+ {
+ directory = MAUDE_DATADIR;
+ return true;
+ }
}
else if (p + 1 < userFileName.length())
{
|
