mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Python: change outdated API
GitOrigin-RevId: d6902176298dc55f486abe497a6ba4fabd43f3c1
This commit is contained in:
committed by
intellij-monorepo-bot
parent
9c27be43c2
commit
2da1baf14c
+1
-1
@@ -38,7 +38,7 @@ abstract class PythonEnvExtensionBase<ENV : Any, PYTHON_TYPE : PythonType<ENV>>(
|
||||
val LOG = Logger.getInstance(this::class.java)
|
||||
}
|
||||
|
||||
private class ResourceWrapper<ENV : Any>(val env: ENV, val closeable: AutoCloseable) : ExtensionContext.Store.CloseableResource {
|
||||
private class ResourceWrapper<ENV : Any>(val env: ENV, val closeable: AutoCloseable) : java.lang.AutoCloseable {
|
||||
override fun close() {
|
||||
closeable.close()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user