Hi Jeff, I am not sure what
aweisberg
Jul 19, 2010
Hi Jeff,
I am not sure what you are calling a PID file. Is that a file with the process of ID of the VoltDB server process?
Thanks,
Ariel Weisberg
yes, a file such as
jeff_i
Aug 8, 2010
yes, a file such as voltdb.pid containing the process id in var/run
Hi Jeff, I created an issue
aweisberg
Aug 9, 2010
Hi Jeff,
I created an issue for this. You can track our progress at
https://issues.voltdb.com/browse/ENG-689Thanks for bringing this up,
Ariel
Hi Jeff,I added a first stab
aweisberg
Aug 10, 2010
Hi Jeff,
I added a first stab at this functionality. See the comments of
https://issues.voltdb.com/browse/ENG-689 for more details.
-Ariel