davehg / rl-library

Automatically exported from code.google.com/p/rl-library
Apache License 2.0
0 stars 0 forks source link

Glue Runner should kill other glue when starting #150

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
When we start up rl-glue in the proving app, we should run the pkill to
make sure no other glue is running.

Original issue reported on code.google.com by brian.ta...@gmail.com on 8 Dec 2007 at 5:08

GoogleCodeExporter commented 8 years ago
This now works in Linux/Mac.  I have't been able to get the kill script working 
on
Windows yet.

Original comment by brian.ta...@gmail.com on 14 Dec 2007 at 5:56

GoogleCodeExporter commented 8 years ago
Done.

This works on Windows, Mac, Linux.

Original comment by brian.ta...@gmail.com on 14 Dec 2007 at 9:12