Skip to content
  • Florian Fischer's avatar
    [EchoServer] exit the echo server by terminate the runtime  · 80150ded
    Florian Fischer authored
    Since stats are printed in the Runtime destructor we can not simply call
    exit() and have to properly terminate the Runtime.
    When the echo server receives a "quit" message all active connections will
    return and the Runtime will terminate if there is no work left.
    80150ded