On Monday, 6 July 2020 18.55.11 WEST Kevin Fenzi wrote: > I restarted the database server this morning. It usually takes about 1.5 > seconds to restart, so you must have just hit it in that window. > > kevin My only concern was if there was any kind of (hidden) consequence of the error. From your answer I conclude that everything is OK and I just found a digital four-leaf clover. :-) Thank you Kevin for your prompt answer. -- José Abílio _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
