Fix indentation in os_server documentation

This commit is contained in:
Victor Costan 2015-09-09 01:29:38 -04:00 committed by Matt Clay
commit 8d9768c049