Revision a41632ed
ID | a41632ed49b75aa95aa56d77303ef176f6004803 |
Parent | 146af5ff |
Child | 5a686bb8 |
Add restart option to *-server commands
Files
- added
- modified
- copied
- renamed
- deleted
ID | a41632ed49b75aa95aa56d77303ef176f6004803 |
Parent | 146af5ff |
Child | 5a686bb8 |
Added by Daniel Molina almost 9 years ago
Add restart option to *-server commands