mysql中/*!40000 DROP DATABASE IF EXISTS `top_server`*/;这中注释有什么作用?

需求描述: 　　今天在进行mysqldump实验,使用--add-drop-databases参数,于是在生成的SQL文件中,就出现了. 　　/*!40000 DROP DATABASE IF E ...