addProvenanceInfo = true;
continue;
}
//either JSON representation of the history or something went wrong
if(format.equals("history-json")){
exporter = new HistoryJsonExporter();
}else{
//fail
respondException(response, new RuntimeException("Unknown exporter format"));
return;
}