fix #2005: only allow ascii port digits
-rw-r--r-- 1079 Makefile
drwxr-xr-x - debian
drwxr-xr-x - src
drwxr-xr-x - test