| 1 | <?php |
||
| 9 | class RestartServer extends Command |
||
| 10 | { |
||
| 11 | use InteractsWithTime; |
||
| 12 | |||
| 13 | /** |
||
| 14 | * The name and signature of the console command. |
||
| 15 | * |
||
| 16 | * @var string |
||
| 17 | */ |
||
| 18 | protected $signature = 'websockets:restart'; |
||
| 19 | |||
| 20 | /** |
||
| 21 | * The console command description. |
||
| 22 | * |
||
| 23 | * @var string|null |
||
| 24 | */ |
||
| 25 | protected $description = 'Signal the WebSockets server to restart.'; |
||
| 26 | |||
| 27 | /** |
||
| 28 | * Run the command. |
||
| 29 | * |
||
| 30 | * @return void |
||
| 31 | */ |
||
| 32 | public function handle() |
||
| 43 | } |
||
| 44 |