Changing HTTP DPD port 3138 to 3128.

Addresses #857.
This commit is contained in:
Robin Sommer 2012-07-20 09:57:38 -07:00
parent c5d1aebbfe
commit ce4b8dd4ac

View file

@ -114,7 +114,7 @@ event bro_init() &priority=5
# DPD configuration.
const ports = {
80/tcp, 81/tcp, 631/tcp, 1080/tcp, 3138/tcp,
80/tcp, 81/tcp, 631/tcp, 1080/tcp, 3128/tcp,
8000/tcp, 8080/tcp, 8888/tcp,
};
redef dpd_config += {