Add a -s srvname option to rdbfs, allowing debugging sessions to be shared or later reattached after disconnection. Reference: /n/sources/patch/applied/rdbfs-srvname Date: Tue Jun 11 11:08:30 CES 2013 Signed-off-by: charles.forsyth@gmail.com --- /sys/man/4/rdbfs Tue Jun 11 11:07:37 2013 +++ /sys/man/4/rdbfs Tue Jun 11 11:07:34 2013 @@ -11,6 +11,10 @@ .I pid ] [ +.B -s +.I srvname +] +[ .B -t .I text ] @@ -28,6 +32,15 @@ .I device (default .BR /dev/eia0 ). +If the +.B -s +option is given, +.I rdbfs +will post its channel in +.BI /srv/ srvname +(see +.IR srv (3)), +allowing the session to be shared or reattached later. .PP The .B text --- /sys/src/cmd/rdbfs.c Tue Jun 11 11:07:42 2013 +++ /sys/src/cmd/rdbfs.c Tue Jun 11 11:07:39 2013 @@ -137,12 +137,13 @@ char* portname = "/dev/eia0"; char* textfile = "/386/9pc"; char* procname = "1"; +char* srvname; Channel* rchan; void usage(void) { - fprint(2, "usage: rdbfs [-p procnum] [-t textfile] [serialport]\n"); + fprint(2, "usage: rdbfs [-p procnum] [-s srvname] [-t textfile] [serialport]\n"); exits("usage"); } @@ -397,6 +398,9 @@ case 'p': procname = EARGF(usage()); break; + case 's': + srvname = EARGF(usage()); + break; case 't': textfile = EARGF(usage()); break; @@ -427,7 +431,7 @@ for(i=0; i