Drop hardcoded extraction of the snippet id from script name
rely on the userdate instead
This commit is contained in:
-6
@@ -94,12 +94,6 @@ class LazyScriptDescriptor(
|
|||||||
// TODO: implement robust REPL/script selection
|
// TODO: implement robust REPL/script selection
|
||||||
val replSnippetId =
|
val replSnippetId =
|
||||||
scriptInfo.script.getUserData(ScriptPriorities.PRIORITY_KEY)?.toString()
|
scriptInfo.script.getUserData(ScriptPriorities.PRIORITY_KEY)?.toString()
|
||||||
?: run {
|
|
||||||
val scriptName = name.asString()
|
|
||||||
if (scriptName.startsWith("Line_"))
|
|
||||||
scriptName.split("_")[1]
|
|
||||||
else null
|
|
||||||
}
|
|
||||||
return if (replSnippetId != null) {
|
return if (replSnippetId != null) {
|
||||||
// assuming repl
|
// assuming repl
|
||||||
scriptCompilationConfiguration()[ScriptCompilationConfiguration.repl.resultFieldPrefix]?.takeIf { it.isNotBlank() }?.let {
|
scriptCompilationConfiguration()[ScriptCompilationConfiguration.repl.resultFieldPrefix]?.takeIf { it.isNotBlank() }?.let {
|
||||||
|
|||||||
Reference in New Issue
Block a user