So, it seems that the "extra" monitors need to be killed.
Is there any easy way that you can imagine to have the monitor, or some other new process, automatically kill the monitor, kill texis, and remove the shared memory if there has not been any search activity for a few minutes?
Is there any easy way that you can imagine to have the monitor, or some other new process, automatically kill the monitor, kill texis, and remove the shared memory if there has not been any search activity for a few minutes?