< dmitry zhuravlev> Just pushed a few more changes that fix kotlinlang #kobalt

<@U12V5S8GP>: Just pushed a few more changes that ...

cedric

04/29/2016, 8:30 PM

@dmitry.zhuravlev: Just pushed a few more changes that fix a race condition and make server management much more robust.