void rand_pool_keep_random_devices_open(int keep) { if (!keep) rand_pool_cleanup(); keep_random_devices_open = keep; }
void rand_pool_keep_random_devices_open(int keep) { if (keep) open_random_devices(); else rand_pool_cleanup(); keep_random_devices_open = keep; }