28 #ifndef WEBSOCKETPP_COMMON_RANDOM_DEVICE_HPP 29 #define WEBSOCKETPP_COMMON_RANDOM_DEVICE_HPP 31 #include <websocketpp/common/cpp11.hpp> 36 #if defined _WEBSOCKETPP_CPP11_INTERNAL_ && !defined _WEBSOCKETPP_NO_CPP11_RANDOM_DEVICE_ 37 #ifndef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_ 38 #define _WEBSOCKETPP_CPP11_RANDOM_DEVICE_ 45 #if defined(_MSC_VER) && _MSC_VER >= 1600 && !defined _WEBSOCKETPP_NO_CPP11_MEMORY_ 46 #ifndef _WEBSOCKETPP_CPP11_MEMORY_ 47 #define _WEBSOCKETPP_CPP11_MEMORY_ 53 #ifdef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_ 56 #include <boost/version.hpp> 58 #if (BOOST_VERSION/100000) == 1 && ((BOOST_VERSION/100)%1000) > 46 59 #include <boost/random/uniform_int_distribution.hpp> 60 #include <boost/random/random_device.hpp> 61 #elif (BOOST_VERSION/100000) == 1 && ((BOOST_VERSION/100)%1000) >= 43 62 #include <boost/nondet_random.hpp> 71 #ifdef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_ 72 using std::random_device;
73 using std::uniform_int_distribution;
75 using boost::random::random_device;
76 using boost::random::uniform_int_distribution;
82 #endif // WEBSOCKETPP_COMMON_RANDOM_DEVICE_HPP Namespace for the WebSocket++ project.