dist - Revision 74271: /release/pulsar/pulsar-manager