Merge branch 'v0.22.x'

2021-05-19 08:09:05 +02:00
parent 85db2d6704 c3f9b38c97
commit b2cec7a0a3
11 changed files with 167 additions and 8 deletions
@@ -169,6 +169,11 @@ public:
 		return uri == other_uri;
 	}

+	gcc_pure gcc_nonnull_all
+	bool IsRealURI(const char *other_uri) const noexcept {
+		return (HasRealURI() ? real_uri : uri) == other_uri;
+	}
+
 	gcc_pure
 	bool IsRemote() const noexcept;