| Index: grit/node/misc.py
|
| diff --git a/grit/node/misc.py b/grit/node/misc.py
|
| index 2f6935198a0a6e81544587886dc1d47c90bd1655..40a4065b6bff4c446db9debd3896c464ed6473cb 100755
|
| --- a/grit/node/misc.py
|
| +++ b/grit/node/misc.py
|
| @@ -328,9 +328,10 @@ class GritNode(base.Node):
|
| return None
|
|
|
| path = self.attrs['first_ids_file']
|
| - GRIT_DIR_PREFIX = 'GRIT_DIR/'
|
| - if path.startswith(GRIT_DIR_PREFIX):
|
| - return util.PathFromRoot(path[len(GRIT_DIR_PREFIX):])
|
| + GRIT_DIR_PREFIX = 'GRIT_DIR'
|
| + if (path.startswith(GRIT_DIR_PREFIX)
|
| + and path[len(GRIT_DIR_PREFIX)] in ['/', '\\']):
|
| + return util.PathFromRoot(path[len(GRIT_DIR_PREFIX) + 1:])
|
| else:
|
| return self.ToRealPath(path)
|
|
|
|
|