Wt

"Hello world" with timer.

sigsegv:

0 boost::intrusive::list_node_traits<void *>::set_previous list_node.hpp 56 0x7ffff6f69809
1 boost::intrusive::circular_list_algorithms<boost::intrusive::list_node_traits<void *>>::unlink circular_list_algorithms.hpp 146 0x7ffff70ce225
2 boost::intrusive::list_impl<boost::intrusive::bhtraits<Wt::EventSignalBase, boost::intrusive::list_node_traits<void *>, (boost::intrusive::link_mode_type)1, boost::intrusive::dft_tag, 1u>, unsigned long, true, void>::pop_front_and_dispose<boost::intrusive::detail::null_disposer> list.hpp 335 0x7ffff70cda13
3 boost::intrusive::list_impl<boost::intrusive::bhtraits<Wt::EventSignalBase, boost::intrusive::list_node_traits<void *>, (boost::intrusive::link_mode_type)1, boost::intrusive::dft_tag, 1u>, unsigned long, true, void>::pop_front list.hpp 318 0x7ffff70cd568
4 Wt::WWidget::~WWidget WWidget.C 39 0x7ffff70ca384
5 Wt::WWebWidget::~WWebWidget WWebWidget.C 248 0x7ffff709799d
6 Wt::WInteractWidget::~WInteractWidget WInteractWidget.C 55 0x7ffff6e53917
7 Wt::WTimerWidget::~WTimerWidget WTimerWidget.C 19 0x7ffff702d278
8 Wt::WTimerWidget::~WTimerWidget WTimerWidget.C 22 0x7ffff702d2a8
9 Wt::WTimer::~WTimer WTimer.C 36 0x7ffff702b9c7
10 Wt::WTimer::~WTimer WTimer.C 38 0x7ffff702ba44
11 Wt::WObject::~WObject WObject.C 122 0x7ffff6f15d78
12 Wt::WApplication::~WApplication WApplication.C 377 0x7ffff6cbffd5
13 HelloApplication::~HelloApplication main.cpp 18 0x41d56e
14 HelloApplication::~HelloApplication main.cpp 18 0x41d59e
15 Wt::WebSession::~WebSession WebSession.C 239 0x7ffff739c20b
16 boost::checked_delete<Wt::WebSession> checked_delete.hpp 34 0x7ffff7389011
17 boost::detail::sp_counted_impl_p<Wt::WebSession>::dispose sp_counted_impl.hpp 78 0x7ffff738a3b2
18 boost::detail::sp_counted_base::release sp_counted_base_gcc_x86.hpp 146 0x40a298
19 boost::detail::shared_count::~shared_count shared_count.hpp 443 0x40a361
... <More>


To reproduce:

hold down the F5 in the browser.

g (Ubuntu 5.4.0-6ubuntu1~16.04.2) 5.4.0 20160609