PuppetConfigs.php 730 B

12345678910111213141516171819202122232425
  1. <?php
  2. if (!isset($GLOBALS["puppetManifestDir"])) {
  3. $GLOBALS["puppetManifestDir"] = "/etc/puppet/master/manifests";
  4. }
  5. if (!isset($GLOBALS["puppetKickVersionFile"])) {
  6. $GLOBALS["puppetKickVersionFile"] = "/var/lib/puppet/puppet_kick_version.txt";
  7. }
  8. if (!isset($GLOBALS["puppetReportsDir"])) {
  9. $GLOBALS["puppetReportsDir"] = "/var/lib/puppet/reports";
  10. }
  11. if (!isset($GLOBALS["puppetKickTimeout"])) {
  12. $GLOBALS["puppetKickTimeout"] = 300;
  13. }
  14. if (!isset($GLOBALS["puppetMaxParallelKicks"])) {
  15. $GLOBALS["puppetMaxParallelKicks"] = 10;
  16. }
  17. if (!isset($GLOBALS["DRYRUN"])) {
  18. $GLOBALS["DRYRUN"] = FALSE;
  19. }
  20. if (!isset($GLOBALS["puppetModulesDirectory"])) {
  21. $GLOBALS["puppetModulesDirectory"] = "/etc/puppet/master/modules";
  22. }
  23. ?>