aboutsummaryrefslogtreecommitdiff
path: root/plumb/fileaddr
diff options
context:
space:
mode:
authorRuss Cox <rsc@swtch.com>2010-10-27 17:31:18 -0700
committerRuss Cox <rsc@swtch.com>2010-10-27 17:31:18 -0700
commitc84e737c3f64030dc9b66ddb931cac757e9ba986 (patch)
treeabcb771d8d7b70997319e08acaff936325c8ed3e /plumb/fileaddr
parentc8471ac58c0520ae9e79c4971b5df402c1390f97 (diff)
downloadplan9port-c84e737c3f64030dc9b66ddb931cac757e9ba986.tar.gz
plan9port-c84e737c3f64030dc9b66ddb931cac757e9ba986.tar.bz2
plan9port-c84e737c3f64030dc9b66ddb931cac757e9ba986.zip
plumb: column numbers in file address
R=rsc http://codereview.appspot.com/2776042
Diffstat (limited to 'plumb/fileaddr')
-rw-r--r--plumb/fileaddr1
1 files changed, 1 insertions, 0 deletions
diff --git a/plumb/fileaddr b/plumb/fileaddr
index 0f08dc3e..cd2f120f 100644
--- a/plumb/fileaddr
+++ b/plumb/fileaddr
@@ -1,3 +1,4 @@
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)
+twocolonaddr = :([0-9]+)[:.]([0-9]+)