Ticket #16930: tor.2.awk

File tor.2.awk, 116 bytes (added by Arthur2e5, 5 years ago)

Sorry, but AWK is faster and simpler for this..

Line 
1#!/usr/bin/awk -f
2BEGIN {
3        print "#START GEN";
4}
5/^r / {
6        print "websocket", $6 ":" $7
7}
8
9END {
10        print "#END GEN"
11}