no, you should go to bugzilla and file a bug.. thank you
maxdog, StefanoI thought that it is safe enough to just delete /var/run/yum.pid under those circumstances
I thought that it is safe enough to just delete /var/run/yum.pid under those circumstances