How are you killing the processes? Doing something like "kill -9 PID" prevents filePro (or any application) from being able to do any cleanup, whereas "kill -1" or "kill -3" allows filePro the chance to clean up, including releasing licenses. (Note that, if you're using the license manager, it will eventually [I forget the exact time] release the now-free licenses.)