Small changes in the mysql sharenotify example