Revision a089227c
Added by Marc Dequènes almost 14 years ago
- ID a089227ca94121115f46e5998b497fa102787398
| bin/mapmaker | ||
|---|---|---|
|
bot = reg.bot
|
||
|
|
||
|
trap('INT') do
|
||
|
bot.ask_to_stop
|
||
|
bot.stop(:quickly)
|
||
|
end
|
||
|
trap('TERM') do
|
||
|
bot.ask_to_stop
|
||
|
bot.stop(:quickly)
|
||
|
end
|
||
|
|
||
|
bot.run
|
||
Also available in: Unified diff
[fix/evol] work on better Interface/Task/Conversation/… sync and bot stop action in order to avoid races and locks