diff options
author | Vitor Enes Duarte <[email protected]> | 2017-08-19 12:13:48 +0200 |
---|---|---|
committer | Vitor Enes Duarte <[email protected]> | 2017-08-19 12:13:48 +0200 |
commit | 32d31ca9d125793417e5c72addc821a95840e304 (patch) | |
tree | 4ca244eaafaae7fc72cb41022a54e3d18cc153f6 /lib/public_key | |
parent | 770454f0a32fbc0714c6762ed3e4d761b799814f (diff) | |
download | otp-32d31ca9d125793417e5c72addc821a95840e304.tar.gz otp-32d31ca9d125793417e5c72addc821a95840e304.tar.bz2 otp-32d31ca9d125793417e5c72addc821a95840e304.zip |
make stop_timeout in ct_slave:stop configurable
Prior to this patch, stop_timeout was not configurable
and set to 5 seconds. This patch allows this value
to be configurable, maintaining the 5 seconds timeout
as default.
Diffstat (limited to 'lib/public_key')
0 files changed, 0 insertions, 0 deletions