void book_open(const char file_name[]) {
ASSERT(file_name!=NULL);
- if(option_get_bool(Option,"BookLearn")){
+ if(FALSE && option_get_bool(Option,"BookLearn")){
BookFile = fopen(file_name,"rb+");
}else{
BookFile = fopen(file_name,"rb");
if(BookFile==NULL) return;
+ // null keys are reserved for the header
+ if(board->key==U64(0x0)) return;
+
+
+
+
// init
list_clear(list);