[rtl] error in rt_task_wait ?

[Kay-Ulrich Scholl <scholl@fzi.de>]

Hi there,
while looking at the sources I wonder about the following function:
----------snipp--------------------
int rt_task_wait(void)
{
        long interrupt_state;
        rtl_no_interrupts(interrupt_state);
        rtl_current->state = RT_TASK_DELAYED;
        rtl_current->resume_time += rtl_current->period;
        rt_schedule();
  >>>   rtl_no_interrupts(interrupt_state);  <<<
        return 0;
}
----------snipp--------------------
Is the marked line correct ? 
Is think it must be
        rtl_restore_interrupts(innterupt_state);


Kay =8^)
-- 
     |\/\/\/|    
     |      |        Kay-Ulrich Scholl               |
     |      |        scholl@fzi.de                   |
     | (o)(o)       Forschungszentrum Informatik     |
     C      _)      Haid-und Neu-Str. 10-14          |
     | ,___|        D-76131 Karlsruhe                |
     |   /          0721/9654-218                    |
    /____\          FAX: 0721 / 9654 - 209           |
   /      \ -----------------------------------------+
--- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail majordomo@rtlinux.cs.nmt.edu OR
echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.cs.nmt.edu
----
For more information on Real-Time Linux see:
http://www.rtlinux.org/~rtlinux/