a small amount of petrol in a diesel isn't too bad, they actually used to use a petrol diesel mix at very low temperatures to help keep the diesel viscous, think the issue here is the volume or percentage of petrol, as said above should be fine once its drained and filters changed, tell your mate to get one of those special fuel flaps installed that stops you putting petrol in a diesel!