diff options
| author | http://larsrasmusson.se/ <http://larsrasmusson.se/@web> | 2011-07-24 13:05:21 +0200 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2011-07-24 13:05:21 +0200 |
| commit | a40099c68f8d0f518a7594cdf296a566ec2e4207 (patch) | |
| tree | 96543ece30a6d110b6f15f20244e57b58c3c2820 /microkernel | |
| parent | 3596895ffc649893a7f4519e91c096bcecd76d8e (diff) | |
spelling typo fix: themselvse -> themselves
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/port.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/port.mdwn b/microkernel/mach/port.mdwn index ba2e22c2..7f02628d 100644 --- a/microkernel/mach/port.mdwn +++ b/microkernel/mach/port.mdwn @@ -49,7 +49,7 @@ send-once right. These messages are (probably) queued and when the server task tries to receive messages by having a [[thread]] use its port receive right, it gets the message(s). This is called [[IPC]]. -Port rights themselvse can be [[delegate]]d in a [[message]], too. When the +Port rights themselves can be [[delegate]]d in a [[message]], too. When the receiver dequeues the message, the right is made available to it. The delivery of [[message]]s is reliable and strictly ordered. When a |