# HG changeset patch
# User Space Falcon <falcon@ivan.Harhan.ORG>
# Date 1432972205 0
# Node ID c9f353b5d70ca11bf22585163ea34605c024334e
# Parent  dab341e172de1cf3c174deebee627b5b1707cc2c
rvinterf/asyncshell/rxctl.c: buglet in the implementation of dis/enable commands

diff -r dab341e172de -r c9f353b5d70c rvinterf/asyncshell/rxctl.c
--- a/rvinterf/asyncshell/rxctl.c	Sat May 30 07:41:23 2015 +0000
+++ b/rvinterf/asyncshell/rxctl.c	Sat May 30 07:50:05 2015 +0000
@@ -71,6 +71,7 @@
 			printf("error: unknown channel \"%s\"\n", np);
 			return;
 		}
+		gotsome++;
 	}
 }