Protect REPLs from being closed when reloading user-config. Closes #21.