[sys vtimer]

* set missing msg type in vtimer_set_msg()
12 years ago · aeb67a481b
parent 0fd8127fab
commit aeb67a481b
1 changed files with 1 additions and 2 deletions
--- a/sys/vtimer.c
+++ b/sys/vtimer.c
@ -111,9 +111,8 @@ void vtimer_callback(void *ptr) {

    /* shoot timer */
    if (timer->action == (void*) msg_send_int) {
-//    if(timer->pid != 0){
-        /* ugly*/
        msg_t msg; 
+        msg.type = MSG_TIMER;
        msg.content.value = (unsigned int) timer->arg;
        msg_send_int(&msg, timer->pid);
    } else {