It may work because the fresh ping to the server directly may knock the server into realizing you aren't actually connected anymore. Probably not a sensible fix from a networking standpoint, but the server software might get a good nudge from it. Who knows. Took notes just in case I hit the 3102 error myself.