2008-05-17 18:57:46 +00: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 20:07:03 +00: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;
|
