diff options
| author | Sigrid Solveig Haflínudóttir <sigrid@ftrv.se> | 2023-01-17 13:14:06 +0000 |
|---|---|---|
| committer | Sigrid Solveig Haflínudóttir <sigrid@ftrv.se> | 2023-01-17 13:14:06 +0000 |
| commit | bb36ba0617b5aa8263ea9b5ece8c1a5249fedc86 (patch) | |
| tree | e2845915cd47fe2aaac57cfe34f8da2ad5f24916 /sys/lib/plumb | |
| parent | 323a084780a3c0caf210e219b14725b4700175cc (diff) | |
plumb fileaddr: match with a trailing colon
Diffstat (limited to 'sys/lib/plumb')
| -rw-r--r-- | sys/lib/plumb/fileaddr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/lib/plumb/fileaddr b/sys/lib/plumb/fileaddr index 0f08dc3ea..44a3a07f0 100644 --- a/sys/lib/plumb/fileaddr +++ b/sys/lib/plumb/fileaddr @@ -1,3 +1,2 @@ addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' -addr=:($addrelem([,;+\-]$addrelem)*) - +addr=:($addrelem([,;+\-]$addrelem)*):? |