More patches - small patch to net2net.pl

This fixes a porblem where and entry like

route: 128.86.24.0 

was rewritten to 

route: 128.86.24.0/

This only occured on classless routes without prefixes.

		--Tony.


*** net2net.pl  Wed Nov 16 13:24:04 1994
--- ../testsrc/src/net2net.pl   Fri May 19 11:33:32 1995
***************
*** 140,145 ****
--- 140,149 ----
              $len = 16;
        } elsif ($2 == 0 && $3 == 0 && $4 == 0) {
            $len = 8;
+       } else {
+           return $NOK,
+           "$net_rep is not a classful net representation I understand",
+           @return_rep;     
        }
        @return_rep = (@return_rep, $net_rep."/".$len);
        return $OK, "", @return_rep;




-------- Logged at  Tue May 23 15:30:01 MET DST 1995  ---------