Improved shared_port docs with respect to configuration of the port number. #3478
Fix documentation of KILLING_TIMEOUT. #3470

It is not related to user-defined custom kill signals anymore.  It is
only for timing out on fast shutdown of the starter and reverting to
hard killing.
Merge branch 'V7_8-branch'