Currently, port numbers are handled inconsistently in the OpenSM logging. In some places they are decimal and others hex. It seems the simplest thing here is decimal. Comments ? -- Hal