I want to add a sensible address to my nevow server, so it has to launch an executable that stop itself and restart it. I tried os.execl('restart','') but I have a format error and I do not understand the manual page. thanks for help