diff options
author | Tom Benner <[email protected]> | 2014-12-27 14:56:21 -0500 |
---|---|---|
committer | Tom Benner <[email protected]> | 2014-12-28 14:39:13 -0500 |
commit | a0899e09dc5aede325663a3673163c9ce376bf6f (patch) | |
tree | f811cc840bc14dd958bcc21b1813bb2a928a088d /system/doc/getting_started/robustness.xml | |
parent | b397ab65ea094859cab2d31d6444101bc7238b9a (diff) | |
download | otp-a0899e09dc5aede325663a3673163c9ce376bf6f.tar.gz otp-a0899e09dc5aede325663a3673163c9ce376bf6f.tar.bz2 otp-a0899e09dc5aede325663a3673163c9ce376bf6f.zip |
Add a comma after "For example" when appropriate
Diffstat (limited to 'system/doc/getting_started/robustness.xml')
-rw-r--r-- | system/doc/getting_started/robustness.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/doc/getting_started/robustness.xml b/system/doc/getting_started/robustness.xml index 359ea93275..b97940d388 100644 --- a/system/doc/getting_started/robustness.xml +++ b/system/doc/getting_started/robustness.xml @@ -30,7 +30,7 @@ </header> <p>There are several things which are wrong with the <seealso marker="conc_prog#ex">messenger example</seealso> from - the previous chapter. For example if a node where a user is logged + the previous chapter. For example, if a node where a user is logged on goes down without doing a log off, the user will remain in the server's <c>User_List</c> but the client will disappear thus making it impossible for the user to log on again as the server |