Closed yzhan298 closed 6 years ago
Please fix the name of the commit, as I believe that will appear on the log for the merge commit. And then I'd be happy to merge it.
Thanks!
@yzhan298 You never changed the name of the PR itself, so I did that for you and merged. Congratulations!
Rename the parameter "delay" to "finishing_check_period" in sim_server.h.