(Happens if main thread exists before kill_server thread, which is ok)
Attach a file by drag & drop or click to upload
monty@mysql.com authored