fix(tool): refresh port now work again

This commit is contained in:
Corentin Thomasset 2021-05-31 17:59:06 +02:00
parent 74e5758735
commit 638dd13438
No known key found for this signature in database
GPG key ID: DBD997E935996158

View file

@ -39,7 +39,7 @@ const generatePort = () => randIntFromInterval(1024, 65535)
mixins: [CopyableMixin] mixins: [CopyableMixin]
}) })
export default class RandomPortGenerator extends Tool { export default class RandomPortGenerator extends Tool {
port!: number port: number = 0
created() { created() {
this.refreshPort() this.refreshPort()