Allow '/' in character device name

Accomodate character devices kept in a directory under /dev, e.g., the tun device in /dev/net/tun.
msantos · May 3, 2011 · 31e7592 · 31e7592
1 parent 2561888
commit 31e7592
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/c_src/procket_cmd.c b/c_src/procket_cmd.c
@@ -90,7 +90,7 @@ main(int argc, char *argv[])
                     usage(ps);
 
                 for (p = ps->dev; *p; p++) {
-                    if (!islower(*p) && !isdigit(*p))
+                    if (!islower(*p) && !isdigit(*p) && *p != '/')
                         usage(ps);
                 }
                 }

diff --git a/src/procket.erl b/src/procket.erl
@@ -254,7 +254,7 @@ is_interface(Name) when is_list(Name) ->
 
 is_device(Name) when is_list(Name) ->
     Name == [C || C <- Name, ((C >= $a) and (C =< $z))
-        or ((C >= $0) and (C =< $9))].
+        or ((C >= $0) and (C =< $9) or (C == $/))].
 
 progname() ->
     filename:join([