https://github.com/elephant-track/elephant-server
Tip revision: bc80e1d21a4ca9d1e84c5e4af47d6ab59d29959f authored by Ko Sugawara on 24 November 2021, 18:02:01 UTC
Explicitly kill all services before restart
Explicitly kill all services before restart
Tip revision: bc80e1d
File | Mode | Size |
---|---|---|
.github | ||
app | ||
docker | ||
elephant-core | ||
script | ||
workspace | ||
.dockerignore | -rw-r--r-- | 23 bytes |
.gitignore | -rw-r--r-- | 767 bytes |
Dockerfile | -rw-r--r-- | 2.6 KB |
LICENSE | -rw-r--r-- | 1.3 KB |
Makefile | -rwxr-xr-x | 1.5 KB |
NOTICE | -rw-r--r-- | 24.1 KB |
README.md | -rw-r--r-- | 5.2 KB |
elephant.def | -rw-r--r-- | 3.4 KB |
elephant_server.ipynb | -rw-r--r-- | 11.8 KB |
environment.yml | -rw-r--r-- | 6.2 KB |
requirements.txt | -rw-r--r-- | 181 bytes |