dropWorker

fun dropWorker(worker: Worker)