-
David Johnson authored
because we (vnode_setup) needs to go out to the nodes and run vnodesetup to trigger the reload, but os_setup needs to setup the reload. So for now, os_setup sets up the reload but does not wait nor reboot the vnode; vnode_setup does that like normal. Probably there are going to be timeout problems, but it's good enough for my needs right now.
abcc783c