* server_utils.ml
(get_server_dir) rewrite comment

Change-Id: I853da310839e013610086b4b167a31c2c8efcce5
(cherry picked from commit 01ae97586c5e8e5339033e4d8d700587aaa06717)