# HG changeset patch # User pieter.lukasse@wur.nl # Date 1390315849 -3600 # Node ID eabfda6213aec260b0d528c7d4557accca3bb142 # Parent b1d339e0147e24bdb190ef016efb1e96905d138a better error message diff -r b1d339e0147e -r eabfda6213ae match_library.py --- a/match_library.py Tue Jan 21 15:47:39 2014 +0100 +++ b/match_library.py Tue Jan 21 15:50:49 2014 +0100 @@ -111,7 +111,7 @@ files = glob.glob(dir_name + "/*.txt") if len(files) == 0: # Configuration error: no library files found in /" + dir_name : - galaxy_output = [("Configuration error: no library files found", "", False)] + galaxy_output = [("Configuration error: expected file not found in /" + dir_name, "", False)] else: galaxy_output = [(str(get_file_name_no_ext(file_name)), str(os.path.abspath(file_name)), False) for file_name in files] return(galaxy_output)