doesnt matter,as soon as diesel has contacted the belt its toast
just wait till you can remove the pulley to replace the seal,then put on another new belt after the leak is fixed(seal replacement)
itll be ok to drive it in the mean time,just get er done soon