diff options
author | Richard Braun <rbraun@sceen.net> | 2012-11-25 23:27:18 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-11-25 23:27:18 +0100 |
commit | a9a658d9f9db918f9f82e66566baa8bbdc7198a6 (patch) | |
tree | 8390c2750499f82a42c9a11655e83fc23b10500c | |
parent | 3d3728f8d87f6c96ab655f7ce4cc5f1793896a12 (diff) |
Restrict calls to the DDE API
* main.c (start_ds_server): New function.
(main): call ddekit_thread_create instead of cthread_detach.
-rw-r--r-- | main.c | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -11,6 +11,12 @@ int using_std = 1; +static void +start_ds_server (void *arg) +{ + ds_server (arg); +} + int main(int argc, char **argv) { check_kernel(); @@ -28,7 +34,7 @@ int main(int argc, char **argv) mach_device_init(); trivfs_init(); - cthread_detach (cthread_fork (ds_server, NULL)); + ddekit_thread_create (start_ds_server, NULL, "ds_server"); trivfs_server(); return 0; |