Summary of changes: 3c7245b... Fix pidfile issue. (*) be1efc8... Merge branch 'f17' into f16 (*) 89af1f6... Merge branch 'f16' into f15 (*) This commit already existed in another branch; no separate mail sent