diff options
| author | Josh Blum | 2010-04-14 11:06:07 -0700 |
|---|---|---|
| committer | Josh Blum | 2010-04-14 11:06:07 -0700 |
| commit | 7dadb34647bddee0cbb36771370ea2318495e68d (patch) | |
| tree | d4e9149b18e638aaaf36a8a8f5f7f74daaec456e /gruel/src/lib/thread.cc | |
| parent | 5d7b2c44396ef6991b049d2d15ebf5b822690961 (diff) | |
| parent | ad973608d979675755cb537f14ae0a53f71e6489 (diff) | |
| download | gnuradio-7dadb34647bddee0cbb36771370ea2318495e68d.tar.gz gnuradio-7dadb34647bddee0cbb36771370ea2318495e68d.tar.bz2 gnuradio-7dadb34647bddee0cbb36771370ea2318495e68d.zip | |
Merge branch 'master' of http://gnuradio.org/git/gnuradio into uhd
Diffstat (limited to 'gruel/src/lib/thread.cc')
| -rw-r--r-- | gruel/src/lib/thread.cc | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gruel/src/lib/thread.cc b/gruel/src/lib/thread.cc new file mode 100644 index 000000000..d8f77b506 --- /dev/null +++ b/gruel/src/lib/thread.cc @@ -0,0 +1,35 @@ +/* -*- c++ -*- */ +/* + * Copyright 2010 Free Software Foundation, Inc. + * + * This file is part of GNU Radio + * + * GNU Radio is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 3, or (at your option) + * any later version. + * + * GNU Radio is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License along + * with this program; if not, write to the Free Software Foundation, Inc., + * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + */ + +#ifdef HAVE_CONFIG_H +#include <config.h> +#endif +#include <gruel/thread.h> + +namespace gruel { + + boost::system_time + get_new_timeout(double secs) + { + return boost::get_system_time() + boost::posix_time::milliseconds(long(secs*1e3)); + } + +} |