The accidental history of 3000, 8080, and other port numbers (smarmelling.com)

Funny you mention 1234, which is the gdb server default port I brought