From 44c1dc8153d174a8714fd5df6e82e7c48ac4f2b7 Mon Sep 17 00:00:00 2001 From: Vincent Petry Date: Wed, 2 Jul 2014 15:30:34 +0200 Subject: Fix service warning --- public.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'public.php') diff --git a/public.php b/public.php index 1f858fd073d..2ac082dba57 100644 --- a/public.php +++ b/public.php @@ -17,7 +17,7 @@ try { if (!$pathInfo && !isset($_GET['service'])) { header('HTTP/1.0 404 Not Found'); exit; - } elseif ($_GET['service']) { + } elseif (isset($_GET['service'])) { $service = $_GET['service']; } else { $pathInfo = trim($pathInfo, '/'); -- cgit v1.2.3 name='id' value='444154cd1ca32240cbc7bc8525474796e3bc05f6'/> Vaadin web components: https://github.com/vaadin/vaadin-corewww-data
summaryrefslogtreecommitdiffstats
path: root/package.json
blob: a9dc104750088e1c79c86eb78b2be2b66a6cc278 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73