-
Johannes Kanig authored
* server_utils.ml (get_server_dir) rewrite comment Change-Id: I853da310839e013610086b4b167a31c2c8efcce5 (cherry picked from commit 01ae97586c5e8e5339033e4d8d700587aaa06717)
f4b40eb0
* server_utils.ml (get_server_dir) rewrite comment Change-Id: I853da310839e013610086b4b167a31c2c8efcce5 (cherry picked from commit 01ae97586c5e8e5339033e4d8d700587aaa06717)