diff options
Diffstat (limited to 'src/common')
| -rw-r--r-- | src/common/util/Path.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/common/util/Path.h b/src/common/util/Path.h index 2c4d58b1..197ffd16 100644 --- a/src/common/util/Path.h +++ b/src/common/util/Path.h @@ -195,9 +195,10 @@ public: /** Parent path with a "/" appended. * * Because of the "/" special case, append a child name to base_path() - * to construct a path. + * to construct a path. This return value followed by a valid name is + * guaranteed to be a valid path. */ - inline Path base_path() const + inline string base_path() const { if ((*this) == "/") return *this; |