#include <data/file-handle-def.h>
#include <data/format.h>
#include <data/storage-stream.h>
+#include <data/case-source.h>
#include <data/settings.h>
#include <data/file-name.h>
#include <data/procedure.h>
psppire_case_file_replace_flexifile (the_data_store->case_file,
(struct flexifile *) flexifile_create (0));
else
- psppire_case_file_replace_flexifile (the_data_store->case_file,
- (struct flexifile *)
- storage_source_get_casefile (s));
+ {
+ if ( ! case_source_is_class (s, &storage_source_class))
+ return ;
+
+ psppire_case_file_replace_flexifile (the_data_store->case_file,
+ (struct flexifile *)
+ storage_source_get_casefile (s));
+ }
}
gtk_icon_factory_add_default (factory);
}
-
-