use std::rand::weak_rng() in weather server example