Allow setting the destination port in "dowkd host"
tree6314fb81590796b21bc8296fec64c2c2cda7e0b2
-rw-r--r-- 70 .gitignore
-rw-r--r-- 917 Makefile
drwxr-xr-x - data
-rw-r--r-- 300 dowkd.compile
-rw-r--r-- 12081 dowkd.in
drwxr-xr-x - gen