lower time before killing server from IPython magic