Re: [Virtuoso-users] virtuoso.db file can not start the server

2015-11-03 Thread Hugh Williams
Hi Gang, Is the same Linux and Virtuoso version being used in both cases ? I note you are using a 07.20.3212 build from Mar 26 2015 , whereas there have been a number of fixes for crashes in “extent.c” , thus I would suggest performing a build from the latest git develop/7 branch [1] to see if

[Virtuoso-users] virtuoso.db file can not start the server

2015-11-03 Thread Gang Fu
Hi, We have copied the virtuoso.db file from one server to another one, and start the server using just the db file, but we got the following error message in virtuoso.log file, can anyone help? Thank you very much! Best, Gang - 16:00:50 OpenLink Virtuoso Universal Ser