equal
deleted
inserted
replaced
1853 resource = resource_prefix; |
1853 resource = resource_prefix; |
1854 |
1854 |
1855 // Initialize pseudo-random seed |
1855 // Initialize pseudo-random seed |
1856 srandom(time(NULL)); |
1856 srandom(time(NULL)); |
1857 |
1857 |
1858 if (!settings_opt_get("disable_random_resource")) { |
1858 if (!settings_opt_get_int("disable_random_resource")) { |
1859 #if HAVE_ARC4RANDOM |
1859 #if HAVE_ARC4RANDOM |
1860 dynresource = g_strdup_printf("%s.%08x", resource, arc4random()); |
1860 dynresource = g_strdup_printf("%s.%08x", resource, arc4random()); |
1861 #else |
1861 #else |
1862 unsigned int tab[2]; |
1862 unsigned int tab[2]; |
1863 tab[0] = (unsigned int) (0xffff * (random() / (RAND_MAX + 1.0))); |
1863 tab[0] = (unsigned int) (0xffff * (random() / (RAND_MAX + 1.0))); |