Re: What is the proper way to restart udev?