mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[stats-collector] Use DeviceIdManager.getOrGenerateId() to receive userId
This commit is contained in:
@@ -16,12 +16,13 @@
|
||||
|
||||
package com.intellij.stats.completion
|
||||
|
||||
import com.intellij.openapi.application.PermanentInstallationID
|
||||
import com.intellij.internal.statistic.DeviceIdManager
|
||||
|
||||
|
||||
interface InstallationIdProvider {
|
||||
fun installationId(): String
|
||||
}
|
||||
|
||||
class PermanentInstallationIdProvider: InstallationIdProvider {
|
||||
override fun installationId(): String = PermanentInstallationID.get()
|
||||
override fun installationId(): String = DeviceIdManager.getOrGenerateId()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user