summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-11-14 14:18:02 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-04 14:25:08 +0100
commit058fc330a8a8b3791aa93163c7cbfb0b5d5e99a0 (patch)
tree0ba0f102916cb8db079591c235b0fb355df6ea9a
parent2758f98fc06ac54858cb438f5c2aac6e84c08f6d (diff)
refresh stability patch
-rw-r--r--debian/patches/libports_stability.patch12
1 files changed, 4 insertions, 8 deletions
diff --git a/debian/patches/libports_stability.patch b/debian/patches/libports_stability.patch
index 4452807c..8fa22381 100644
--- a/debian/patches/libports_stability.patch
+++ b/debian/patches/libports_stability.patch
@@ -5,16 +5,12 @@ however it makes all threads often wake at the same time and overload Mach.
libports/manage-multithread.c | 2 ++
1 file changed, 2 insertions(+)
-Index: hurd-debian/libports/manage-multithread.c
-===================================================================
---- hurd-debian.orig/libports/manage-multithread.c 2012-11-26 00:23:22.000000000 +0000
-+++ hurd-debian/libports/manage-multithread.c 2012-11-26 00:25:28.000000000 +0000
-@@ -243,6 +243,8 @@
+--- a/libports/manage-multithread.c
++++ b/libports/manage-multithread.c
+@@ -233,5 +233,6 @@ ports_manage_port_operations_multithread
return NULL;
}
+ thread_timeout = global_timeout = 0; /* XXX */
-+
- nreqthreads = 1;
- totalthreads = 1;
thread_function ((void *) 1);
+ }