Merge pull request #1532 from cedspam/patch-1

avoid errors in some ide docs system
This commit is contained in:
erwincoumans 2018-01-26 11:58:15 -08:00 committed by GitHub
commit 09ab1d9eec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,10 @@
from gym.envs.registration import registry, register, make, spec
import gym
from gym.envs.registration import registry, make, spec
def register(id,*args,**kvargs):
if id in  registry.env_specs:
return
else:
return gym.envs.registration.register(id,*args,**kvargs)
# ------------bullet-------------