Read wb_dmp-files also

503671c3 · claes · 6c7a2eee · 503671c3
Commit 503671c3 authored Dec 17, 2003 by claes
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

wb/lib/wb/src/wb_vrepwbl.cpp wb/lib/wb/src/wb_vrepwbl.cpp +1 -1

No files found.
--- a/wb/lib/wb/src/wb_vrepwbl.cpp
+++ b/wb/lib/wb/src/wb_vrepwbl.cpp
@@ -215,7 +215,7 @@ int wb_vrepwbl::load( const char *fname)

  MsgWindow::dset_nodraw();

-  if ( strstr( fname, ".wb_load") != 0) {
+  if ( strstr( fname, ".wb_load") != 0 || strstr( fname, ".wb_dmp") != 0) {
    sts = load_files( fname);
    if ( EVEN(sts)) {
      MsgWindow::dreset_nodraw();