diff options
author | Alexis Ballier <aballier@gentoo.org> | 2020-07-08 19:20:25 +0200 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2020-07-08 19:30:20 +0200 |
commit | c4978d8effd156d4de1105beb21ef44f3d6e7054 (patch) | |
tree | eb67d068f3ad4b3538f046ec2965d32b1238add5 /dev-ros/roslaunch/files | |
parent | dev-ros/rospy: Remove old (diff) | |
download | gentoo-c4978d8effd156d4de1105beb21ef44f3d6e7054.tar.gz gentoo-c4978d8effd156d4de1105beb21ef44f3d6e7054.tar.bz2 gentoo-c4978d8effd156d4de1105beb21ef44f3d6e7054.zip |
dev-ros/roslaunch: remove old patch, mostly useless now
Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ros/roslaunch/files')
-rw-r--r-- | dev-ros/roslaunch/files/timeout.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/dev-ros/roslaunch/files/timeout.patch b/dev-ros/roslaunch/files/timeout.patch deleted file mode 100644 index 169b12813c70..000000000000 --- a/dev-ros/roslaunch/files/timeout.patch +++ /dev/null @@ -1,18 +0,0 @@ -Slow HW like the raspberry pi easily hit this timeout over NFS. -Increase it to 1 min. - -diff --git a/tools/roslaunch/src/roslaunch/launch.py b/tools/roslaunch/src/roslaunch/launch.py -index 9a3b931..8e33c0c 100644 ---- a/tools/roslaunch/src/roslaunch/launch.py -+++ b/tools/roslaunch/src/roslaunch/launch.py -@@ -57,8 +57,8 @@ from roslaunch.pmon import start_process_monitor, ProcessListener - - from roslaunch.rlutil import update_terminal_name - --_TIMEOUT_MASTER_START = 10.0 #seconds --_TIMEOUT_MASTER_STOP = 10.0 #seconds -+_TIMEOUT_MASTER_START = 60.0 #seconds -+_TIMEOUT_MASTER_STOP = 60.0 #seconds - - _ID = '/roslaunch' - |