[Bro] howto: getting the port number only

[mel at hackinthebox.org]

Hi all,


I have: global destinations: set[addr,port];

The port data type will store port information in the following format:

443/tcp, 22/tcp, 53/udp, etc.

However, I'm only interested in the port number, not the protocol. How do
I get the port number only?

--mel