mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 11:10:24 +00:00
parent
4a15621dc8
commit
250c16ddcf
@ -86,7 +86,7 @@ class Genode::Path_base
|
|||||||
for (; *path; path++) {
|
for (; *path; path++) {
|
||||||
if (path[0] != '/') continue;
|
if (path[0] != '/') continue;
|
||||||
|
|
||||||
/* strip superfluous dots, e.g., "/abs/./path/" -> "/abs/path" */
|
/* strip superfluous dots, e.g., "/abs/./path/" -> "/abs/path/" */
|
||||||
while (path[1] == '.' && path[2] == '/') {
|
while (path[1] == '.' && path[2] == '/') {
|
||||||
remove_char(path);
|
remove_char(path);
|
||||||
remove_char(path);
|
remove_char(path);
|
||||||
@ -99,7 +99,7 @@ class Genode::Path_base
|
|||||||
for (; *path; path++) {
|
for (; *path; path++) {
|
||||||
if (path[0] != '/') continue;
|
if (path[0] != '/') continue;
|
||||||
|
|
||||||
/* strip superfluous slashes, e.g., "//path/" -> "/path" */
|
/* strip superfluous slashes, e.g., "//path/" -> "/path/" */
|
||||||
while (path[1] == '/')
|
while (path[1] == '/')
|
||||||
remove_char(path);
|
remove_char(path);
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user