if(gripext) fprintf(discdb_data,"# Revision: %d\n",ddata->revision);
else fprintf(discdb_data,"# Revision: %d\n",ddata->revision+1);
if(gripext) fprintf(discdb_data,"# Revision: %d\n",ddata->revision);
else fprintf(discdb_data,"# Revision: %d\n",ddata->revision+1);