-
Peter Eisentraut authored
This removes some duplicate code that recreated the identical workaround when the newer signal API is missing.
b63b967a
This removes some duplicate code that recreated the identical workaround when the newer signal API is missing.