diff options
author | gingold | 2009-12-16 04:40:33 +0000 |
---|---|---|
committer | gingold | 2009-12-16 04:40:33 +0000 |
commit | 4600532b78f9c901cd32cc079f2567708dc81fc8 (patch) | |
tree | 625f7d7125205e700844f90cbe73df66d4cc4012 /translate/grt/grt-processes.ads | |
parent | 19c2aaceb9610aee1de5197a92b87600e484bbde (diff) | |
download | ghdl-4600532b78f9c901cd32cc079f2567708dc81fc8.tar.gz ghdl-4600532b78f9c901cd32cc079f2567708dc81fc8.tar.bz2 ghdl-4600532b78f9c901cd32cc079f2567708dc81fc8.zip |
Fix timeout chain corruptio.
From Thomas Sailer.
Rename a type.
Diffstat (limited to 'translate/grt/grt-processes.ads')
-rw-r--r-- | translate/grt/grt-processes.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/grt/grt-processes.ads b/translate/grt/grt-processes.ads index 22d7071..1d5bb5f 100644 --- a/translate/grt/grt-processes.ads +++ b/translate/grt/grt-processes.ads @@ -142,6 +142,8 @@ private -- Non-sensitized process being awaked by a wait timeout. This state -- is transcient. + -- This is necessary so that the process will exit immediately from the + -- wait statements without checking if the wait condition is true. State_Timeout, -- Non-sensitized process waiting until end. |