1 | <?php |
||
15 | class AliveOptions extends UpdateOptions |
||
16 | { |
||
17 | /** |
||
18 | * Default message lifetime (seconds until advertisement expires) |
||
19 | */ |
||
20 | const DEFAULT_MESSAGE_LIFETIME = 1800; |
||
21 | |||
22 | /** |
||
23 | * Default server name |
||
24 | */ |
||
25 | const DEFAULT_SERVER_NAME = 'GravityMedia-Ssdp'; |
||
26 | |||
27 | /** |
||
28 | * Default server version |
||
29 | */ |
||
30 | const DEFAULT_SERVER_VERSION = '1.0.x-dev'; |
||
31 | |||
32 | /** |
||
33 | * @var string |
||
34 | */ |
||
35 | private static $defaultServerString; |
||
36 | |||
37 | /** |
||
38 | * @var int |
||
39 | */ |
||
40 | protected $messageLifetime; |
||
41 | |||
42 | /** |
||
43 | * @var string |
||
44 | */ |
||
45 | protected $serverString; |
||
46 | |||
47 | /** |
||
48 | * Get default server string |
||
49 | * |
||
50 | * @return string |
||
51 | */ |
||
52 | public function getDefaultServerString() |
||
66 | |||
67 | /** |
||
68 | * Get message lifetime |
||
69 | * |
||
70 | * @return int |
||
71 | */ |
||
72 | public function getMessageLifetime() |
||
80 | |||
81 | /** |
||
82 | * Set message lifetime |
||
83 | * |
||
84 | * @param int $messageLifetime |
||
85 | * |
||
86 | * @return $this |
||
87 | */ |
||
88 | public function setMessageLifetime($messageLifetime) |
||
93 | |||
94 | /** |
||
95 | * Get server string |
||
96 | * |
||
97 | * @return string |
||
98 | */ |
||
99 | public function getServerString() |
||
107 | |||
108 | /** |
||
109 | * Set server string |
||
110 | * |
||
111 | * @param string $serverString |
||
112 | * |
||
113 | * @return $this |
||
114 | */ |
||
115 | public function setServerString($serverString) |
||
120 | } |
||
121 |