search

jggtrujillo / or-tools

Automatically exported from code.google.com/p/or-tools
0 stars 0 forks source link

catch of Ctrl+C to stop the search #2

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
That would be great to have that to stop the search otherwise you have to put 
the process in bg and kill it manually.

Pierre

Original issue reported on code.google.com by psch...@gmail.com on 9 Oct 2010 at 8:40

GoogleCodeExporter commented 9 years ago

Original comment by lper...@google.com on 9 Oct 2010 at 11:05

GoogleCodeExporter commented 9 years ago 
[deleted comment]
GoogleCodeExporter commented 9 years ago 
Yes, this is a python/SWIG limitation.
I have no idea how to make it work :-(

--Laurent

Original comment by lper...@google.com on 10 Jun 2011 at 9:08

GoogleCodeExporter commented 9 years ago 
[deleted comment]
GoogleCodeExporter commented 9 years ago 
I do not know how to do that.
Even worse, sometimes, calling Ctrl-C will stop the tree search cleanly (in CP) 
and the program will resume after the solve() call. Unbelievable.

Original comment by lper...@google.com on 6 Sep 2011 at 8:40