Update app.js

pull/262/head
yann300 4 years ago committed by GitHub
parent 3f04945a1d
commit a72bf672f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      src/app.js

@ -240,7 +240,7 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
const workspace = pluginLoader.get() const workspace = pluginLoader.get()
const engine = new Engine(appManager) const engine = new Engine(appManager)
engine.setPluginOption = ({ name, kind }) => { engine.setPluginOption = ({ name, kind }) => {
if (kind === 'provider') return {queueTimeout: 60000*4} if (kind === 'provider') return {queueTimeout: 60000 * 4}
if (name === 'LearnEth') return {queueTimeout: 60000} if (name === 'LearnEth') return {queueTimeout: 60000}
return {queueTimeout: 10000} return {queueTimeout: 10000}
} }

Loading…
Cancel
Save