-// Copyright (C) 2012-2020 INRIA
+// Copyright (C) 2012-2021 INRIA
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
mem = params[MAXRAMSIZE];
if (params.find(QUEUE) != params.end())
queue = params[QUEUE].str();
+ LIBBATCH_UNUSED(mem);
string::size_type p1 = fileToExecute.find_last_of("/");
string::size_type p2 = fileToExecute.find_last_of(".");