diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-08 22:16:45 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-09 12:57:55 +0200 |
| commit | 1c05a410aa5d9f09674fba8a7326b3f773138793 (patch) | |
| tree | 6fb05c76ddd6c9f9856bf9f741b5d433844a99e0 /spec | |
| parent | 0fd87df5a6fb9eea977e5cde135a9389654b5180 (diff) | |
spec: Fix formatting
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/rtems/timer/glossary/servercontext.yml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/spec/rtems/timer/glossary/servercontext.yml b/spec/rtems/timer/glossary/servercontext.yml index 29a3bcae..b6eb515b 100644 --- a/spec/rtems/timer/glossary/servercontext.yml +++ b/spec/rtems/timer/glossary/servercontext.yml @@ -8,5 +8,13 @@ links: uid: group term: server context text: | - The ${../glossary/timerserviceroutine:/term} is or will be executed by the ${/glossary/task:/term} of the timer server. A timer enters server ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} using the directives ${../if/server-fire-after:/name} or ${../if/server-fire-when:/name}. A timer leaves server ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} using the directives ${../if/fire-after:/name} or ${../if/fire-when:/name} or when the timer is deleted. Canceling or resetting a timer does not change the ${../glossary/context:/term}. + The ${../glossary/timerserviceroutine:/term} is or will be executed by the + ${/glossary/task:/term} of the timer server. A timer enters server + ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} + using the directives ${../if/server-fire-after:/name} or + ${../if/server-fire-when:/name}. A timer leaves server + ${../glossary/context:/term} when the timer is ${../glossary/scheduled:/term} + using the directives ${../if/fire-after:/name} or ${../if/fire-when:/name} or + when the timer is deleted. Canceling or resetting a timer does not change + the ${../glossary/context:/term}. type: glossary |