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 |