]> rtime.felk.cvut.cz Git - frescor/frsh-include.git/blobdiff - frsh_implementation_specific.h
Disabling distributed module in frsh_configuration parameters
[frescor/frsh-include.git] / frsh_implementation_specific.h
index 309c961e278bad01df3d1ef6c369984ce49c29a1..43f7d8e7304c13429705f0f0ebe74ff501dc43f1 100644 (file)
@@ -150,7 +150,7 @@ int frsh_service_thread_get_preemption_level
  *
  * This operation shall terminate the calling thread, make the value
  * value_ptr available to any successful join with the terminating
- * thread, and unbind the thread from its associated server. After
+ * thread, and unbind the thread from its associated vres. After
  * cleaning up the thread management data, it is unbound and the
  * scheduling policy is changed to fixed priority before the posix
  * pthread_exit() function is called.