Advertisement
Guest User

Untitled

a guest
Nov 17th, 2016
107
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.80 KB | None | 0 0
  1. <?php
  2. // 10,000,000
  3. $run_count = 10000000;
  4.  
  5. $start_time = time();
  6.  
  7. for ($i = 0; $i < $run_count; $i++) {
  8. //1 #### Mysql database settings
  9. if (isset($_ENV["MYSQL_HOST"])) $server = $_ENV["MYSQL_HOST"];
  10. if (isset($_ENV["MYSQL_DATABASE"])) $database = $_ENV["MYSQL_DATABASE"];
  11. if (isset($_ENV["MYSQL_USER"])) $username = $_ENV["MYSQL_USER"];
  12. if (isset($_ENV["MYSQL_PASSWORD"])) $password = $_ENV["MYSQL_PASSWORD"];
  13. if (isset($_ENV["MYSQL_PORT"])) $port = $_ENV["MYSQL_PORT"];
  14. //2 #### redis
  15. // create the array if it's not already been done
  16. if (!isset($redis_server)) $redis_server = array();
  17. if (isset($_ENV["REDIS_ENABLED"])) $redis_enabled = $_ENV["REDIS_ENABLED"] === 'true';
  18. if (isset($_ENV["REDIS_HOST"])) $redis_server['host'] = $_ENV["REDIS_HOST"];
  19. if (isset($_ENV["REDIS_PORT"])) $redis_server['port'] = $_ENV["REDIS_PORT"];
  20. if (isset($_ENV["REDIS_AUTH"])) $redis_server['auth'] = $_ENV["REDIS_AUTH"];
  21. if (isset($_ENV["REDIS_PREFIX"])) $redis_server['prefix'] = $_ENV["REDIS_PREFIX"];
  22. //3 #### MQTT
  23. // create the array if it's not already been done
  24. if (!isset($mqtt_server)) $mqtt_server = array();
  25. if (isset($_ENV["MQTT_ENABLED"])) $mqtt_enabled = $_ENV["MQTT_ENABLED"] === 'true';
  26. if (isset($_ENV["MQTT_HOST"])) $redis_server['host'] = $_ENV["MQTT_HOST"];
  27. if (isset($_ENV["MQTT_PORT"])) $redis_server['port'] = $_ENV["MQTT_PORT"];
  28. if (isset($_ENV["MQTT_USER"])) $redis_server['user'] = $_ENV["MQTT_USER"];
  29. if (isset($_ENV["MQTT_PASSWORD"])) $redis_server['password'] = $_ENV["MQTT_PASSWORD"];
  30. if (isset($_ENV["MQTT_BASETOPIC"])) $redis_server['basetopic'] = $_ENV["MQTT_BASETOPIC"];
  31. }
  32.  
  33. $end_time = time();
  34.  
  35. echo 'Time taken for '.$run_count.' iterations: '.($end_time - $start_time).' seconds.';
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement