azalea/fixminer_source
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[F] Start redis from python

Browse Source
This commit is contained in:
Azalea (on HyDEV-Daisy)
2022-05-16 02:16:49 -04:00
parent 7813bb75de
commit cb9abe7d3e
9 changed files with 38 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files
richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/CompareTrees.java
+6 -14
View File
@@ -23,16 +23,9 @@ public class CompareTrees
{
private static final Logger log = LoggerFactory.getLogger(CompareTrees.class);
public static void main(String redisPath, String portDumps, String dumpsName, String numOfWorkers) throws Exception
public static void main(String redisPath, String port, String dumpsName, String numOfWorkers) throws Exception
{
String port = portDumps; //"6399";
CallShell cs = new CallShell();
String cmd = "bash " + redisPath + "/" + "startServer.sh" + " %s %s %s";
cmd = String.format(cmd, redisPath, dumpsName, Integer.valueOf(port));
log.info(cmd);
CallShell.runShell(cmd, port);
final JedisPool outerPool = new JedisPool(PoolBuilder.getPoolConfig(), "localhost", Integer.valueOf(port), 20000000);
final JedisPool outerPool = new JedisPool(PoolBuilder.getPoolConfig(), "localhost", Integer.parseInt(port), 20000000);
HashMap<String, String> filenames = getFilenames(outerPool);
String job = getLevel(outerPool);
@@ -46,12 +39,11 @@ public class CompareTrees
}
IntStream stream = IntStream.range(0, compare.intValue());
String finalJob = job;
ProgressBar.wrap(stream.parallel(), "Task").forEach(m ->
{
newCoreCompare(finalJob, errorPairs, filenames, outerPool);
}
);
{
newCoreCompare(job, errorPairs, filenames, outerPool);
}
);
log.info("End process");
}
richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java
-4
View File
@@ -33,10 +33,6 @@ public class EnhancedASTDiff
String parameters = String.format("\nInput path %s", inputPath);
log.info(parameters);
// Run Redis
String cmd = String.format("redis-server %s/redis.conf --dir %s --dbfilename redis.rdb --port %s --daemonize yes", srcPath, dbDir, redisPort);
CallShell.runShell(cmd, redisPort);
JedisPool innerPool = new JedisPool(PoolBuilder.getPoolConfig(), "127.0.0.1", Integer.parseInt(redisPort), 20000000);
boolean isJava = projectType.equals("java");