Drop hardcoded extraction of the snippet id from script name

rely on the userdate instead
This commit is contained in:
Ilya Chernikov
2019-09-13 14:46:16 +02:00
parent dd953e0f66
commit 6de05bb2c7
@@ -94,12 +94,6 @@ class LazyScriptDescriptor(
// TODO: implement robust REPL/script selection
val replSnippetId =
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) {
// assuming repl
scriptCompilationConfiguration()[ScriptCompilationConfiguration.repl.resultFieldPrefix]?.takeIf { it.isNotBlank() }?.let {