Just wanted to report the following:
When upgrading from Seafile Server Pro 7.1.16 to 8.0.1, I got the following error:
$ seafile-pro-server-8.0.1/upgrade/upgrade_7.1_8.0.sh
-------------------------------------------------------------
This script would upgrade your seafile server from 7.1 to 8.0
Press [ENTER] to contiune
-------------------------------------------------------------
Updating seafile/seahub database ...
[INFO] You are using MySQL
[INFO] updating seahub database...
[INFO] updating seafevents database...
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_ignored` TINYINT(1) NOT NULL DEFAULT 0' at line 1")
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_deleted` (`has_deleted`)' at line 1")
[WARNING] Failed to execute sql: (1064, "You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'IF NOT EXISTS `has_ignored` (`has_ignored`)' at line 1")
Done
migrating avatars ...
Done
updating [...]/seafile/seafile-server-latest symbolic link to [...]/seafile/seafile-pro-server-8.0.1 ...
-----------------------------------------------------------------
Upgraded your seafile server successfully.
-----------------------------------------------------------------
Nonetheless, the upgrade seems to have been successful and Seafile is running without any obvious problems.
Is there anything I need to do to fix the database?