I was previously taught to always use RAND_load_file when my application started and then use RAND_write_file before closing the application and this way keeping a user specific random state. The file used is abviously only accessable by the user in question. My questions are: Is this the correct (intended) use of these two methods? And if the file is NOT available and I seed random using other means (/dev/random or something else) is it still good practice to use RAND_write_file so that subsequent uses of the application will pick this seed up?
/E
