Pirates of Planet B: Bug Fixes

fixed a bug that was sometimes blocking the repair of workstations