alecpl
2009-09-25 7d51781450910d8347926492cfcdff7d0f43e8c0
program/include/session.inc
@@ -245,7 +245,7 @@
  $randval = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ";
  for ($random = "", $i=1; $i <= 32; $i++) {
    $random .= substr($randval, rand(0,(strlen($randval) - 1)), 1);
    $random .= substr($randval, mt_rand(0,(strlen($randval) - 1)), 1);
  }
  // use md5 value for id or remove capitals from string $randval