Révision 3319

TXM/trunk/org.txm.searchengine.cqp.core/src/org/txm/searchengine/cqp/corpus/Subcorpus.java (revision 3319)
134 134
			}
135 135
			
136 136
			String q = this.pQuery.getQueryString();
137
			if (q.matches("undump [^ ]+;")) { // undump query
137
			if (q.matches("undump \"[^ ]+\";")) { // undump query
138 138
				String path = q.substring(8, q.length() - 2);
139 139
				if (!new File(path).exists()) {
140 140
					Log.severe(NLS.bind("Error: could not compute subcorpus from the dump file: {0}.", path));

Formats disponibles : Unified diff