|
@ -103,7 +103,6 @@ VlogSet::~VlogSet() { |
|
|
vlog_file_handler.flush(); |
|
|
vlog_file_handler.flush(); |
|
|
vlog_file_handler.close(); |
|
|
vlog_file_handler.close(); |
|
|
|
|
|
|
|
|
// FIXME: SIGSEGV
|
|
|
|
|
|
std::cout << "vlog_set.cpp line 102" << std::endl; |
|
|
std::cout << "vlog_set.cpp line 102" << std::endl; |
|
|
vlog_handler->vlog_latch_.hard_unlock(); |
|
|
vlog_handler->vlog_latch_.hard_unlock(); |
|
|
} |
|
|
} |
|
|