Update patcher.py

Fixing issues for non-pooled server patch applications.