2008-05-17 20:57:46 +02:00
|
|
|
Index: node.h
|
|
|
|
|
===================================================================
|
|
|
|
|
--- node.h.orig 2007-05-22 17:01:22.000000000 +0200
|
|
|
|
|
+++ node.h 2007-12-06 22:26:07.621461094 +0100
|
2007-10-11 22:07:03 +02:00
|
|
|
@@ -394,7 +394,7 @@ enum rb_thread_status {
|
|
|
|
|
THREAD_TO_KILL,
|
|
|
|
|
THREAD_RUNNABLE,
|
|
|
|
|
THREAD_STOPPED,
|
|
|
|
|
- THREAD_KILLED,
|
|
|
|
|
+ THREAD_KILLED
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
typedef struct rb_thread *rb_thread_t;
|
