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 |
