diff options
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 22d7071df..1d5bb5f78 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. |