From 31e7592adc1be22a750a6ee8db914a32cefaa6d4 Mon Sep 17 00:00:00 2001
From: Michael Santos <michael.santos@gmail.com>
Date: Tue, 3 May 2011 18:01:32 -0400
Subject: [PATCH] Allow '/' in character device name

Accomodate character devices kept in a directory under /dev, e.g.,
the tun device in /dev/net/tun.
---
 c_src/procket_cmd.c | 2 +-
 src/procket.erl     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/c_src/procket_cmd.c b/c_src/procket_cmd.c
index bcf73a3..d345951 100644
--- 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
index 3abf622..f6824c0 100644
--- 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([