message: fix(Database): do not write back db info file when no build or load
diff: @@ -1543,19 +1543,22 @@ Database::unload()
  delete this->literal_buffer;
  this->literal_buffer = NULL;
  - //this->vstree->saveTree();
  - //delete this->vstree;
  - //this->vstree = NULL;
  - //cout << "delete kvstore" << endl;
  delete this->kvstore;
  this->kvstore = NULL;
  //cout << "delete stringindex" << endl;
  delete this->stringindex;
  this->stringindex = NULL;
  + //this->vstree->saveTree();
  + //delete this->vstree;
  + //this->vstree = NULL;
  + //cout << "delete kvstore" << endl;
  + if (if_loaded)
  + {
  this->saveDBInfoFile();
  this->writeIDinfo();
  this->initIDinfo();
  + }
  this->if_loaded = false;
  this->clear_update_log();
  @@ -2157,6 +2160,7 @@ Database::build(const string& _rdf_file)
  //system(cmd.c_str());
  //cout << "signature file removed" << endl;
  + this->if_loaded = true;
  return true;
  }
  