summaryrefslogtreecommitdiff
path: root/sys/lib
diff options
context:
space:
mode:
authorSigrid Solveig Haflínudóttir <sigrid@ftrv.se>2023-01-17 13:14:06 +0000
committerSigrid Solveig Haflínudóttir <sigrid@ftrv.se>2023-01-17 13:14:06 +0000
commitbb36ba0617b5aa8263ea9b5ece8c1a5249fedc86 (patch)
treee2845915cd47fe2aaac57cfe34f8da2ad5f24916 /sys/lib
parent323a084780a3c0caf210e219b14725b4700175cc (diff)
plumb fileaddr: match with a trailing colon
Diffstat (limited to 'sys/lib')
-rw-r--r--sys/lib/plumb/fileaddr3
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)*):?