chiark / gitweb /
shared/machine-pool: remove unnecessary check
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 7 Mar 2015 18:40:48 +0000 (13:40 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 7 Mar 2015 18:40:48 +0000 (13:40 -0500)
commit132764a2236fd6a4acb0e8d698f135c186677ad4
tree7a745b0bac32fc42c634f1a7246f38c2094c679f
parentc5abf22514b3925aa6f0d4a3f36f76799bf1911b
shared/machine-pool: remove unnecessary check

CID #128739.
src/shared/machine-pool.c