Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: Add records for Spoon PRs 3852 and 3853 #452

Merged
merged 4 commits into from
Mar 24, 2021
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add final record for inria/spoon PR 3852
slarse committed Mar 24, 2021

Verified

This commit was signed with the committer’s verified signature.
slarse Simon Larsén
commit 32a403b54a790b938da79e59fdf5df0668c7e6a8
12 changes: 6 additions & 6 deletions experimentation/prs.json
Original file line number Diff line number Diff line change
@@ -1121,10 +1121,10 @@
"prMetadata": {
"url": "https://github.com/INRIA/spoon/pull/3852",
"createdAt": "2021-03-22 14:06:34",
"closedAt": null,
"mergedAt": null,
"state": "open",
"isMerged": false,
"closedAt": "2021-03-24 07:45:10",
"mergedAt": "2021-03-24 07:45:10",
"state": "closed",
"isMerged": true,
"number": 3852
},
"soraldStatistics": {
@@ -1171,12 +1171,12 @@
},
"diffs": {
"initial": "diff --git a/src/main/java/spoon/support/compiler/SpoonPom.java b/src/main/java/spoon/support/compiler/SpoonPom.java\nindex bd3510acb2..87b77f866b 100644\n--- a/src/main/java/spoon/support/compiler/SpoonPom.java\n+++ b/src/main/java/spoon/support/compiler/SpoonPom.java\n@@ -546,6 +546,7 @@ public static String guessMavenHome() {\n \t\t} catch (IOException e) {\n \t\t\tthrow new SpoonException(\"Maven home detection has failed.\");\n \t\t} catch (InterruptedException e) {\n+\t\t\tThread.currentThread().interrupt();\n \t\t\tthrow new SpoonException(\"Maven home detection was interrupted.\");\n \t\t}\n \t\treturn mvnHome;\n",
"final": null
"final": "diff --git a/src/main/java/spoon/support/compiler/SpoonPom.java b/src/main/java/spoon/support/compiler/SpoonPom.java\nindex bd3510acb2..87b77f866b 100644\n--- a/src/main/java/spoon/support/compiler/SpoonPom.java\n+++ b/src/main/java/spoon/support/compiler/SpoonPom.java\n@@ -546,6 +546,7 @@ public static String guessMavenHome() {\n \t\t} catch (IOException e) {\n \t\t\tthrow new SpoonException(\"Maven home detection has failed.\");\n \t\t} catch (InterruptedException e) {\n+\t\t\tThread.currentThread().interrupt();\n \t\t\tthrow new SpoonException(\"Maven home detection was interrupted.\");\n \t\t}\n \t\treturn mvnHome;\n"
},
"manualEdits": [],
"recordMetadata": {
"createdAt": "2021-03-22 15:10:09.677391",
"lastModified": "2021-03-22 15:10:09.677391",
"lastModified": "2021-03-24 10:38:14.344503",
"isLegacyRecord": false
}
},