* Get the socket priority * * @return the socket priority */
| 404 | * @return the socket priority |
| 405 | */ |
| 406 | int get_socket_priority() { |
| 407 | return socket_priority; |
| 408 | } |
| 409 | /** |
| 410 | * Add a new Dispatcher to the front of the list. If you add |
| 411 | * a Dispatcher which is already included, it will get a duplicate |