]> git.wh0rd.org - tt-rss.git/blame - backend.php
compat: compatibility fixes
[tt-rss.git] / backend.php
CommitLineData
1d3a17c7 1<?php
d65981e2
AD
2 error_reporting(E_ERROR | E_WARNING | E_PARSE);
3
ce885e21
AD
4 /* remove ill effects of magic quotes */
5
6 if (get_magic_quotes_gpc()) {
7 $_GET = array_map('stripslashes', $_GET);
8 $_POST = array_map('stripslashes', $_POST);
9 $_REQUEST = array_map('stripslashes', $_REQUEST);
10 $_COOKIE = array_map('stripslashes', $_COOKIE);
11 }
12
36bfab86 13 require_once "sessions.php";
c339343b 14 require_once "modules/backend-rpc.php";
dc56b3b7 15
894ebcf5 16/* if ($_GET["debug"]) {
cce28758
AD
17 define('DEFAULT_ERROR_LEVEL', E_ALL);
18 } else {
19 define('DEFAULT_ERROR_LEVEL', E_ERROR | E_WARNING | E_PARSE);
20 }
894ebcf5
AD
21
22 error_reporting(DEFAULT_ERROR_LEVEL); */
cce28758 23
657770a0
AD
24 require_once "sanity_check.php";
25 require_once "config.php";
af106b0e
AD
26
27 require_once "db.php";
28 require_once "db-prefs.php";
29 require_once "functions.php";
657770a0 30
dc56b3b7 31 no_cache_incantation();
8d039718
AD
32
33 if (ENABLE_TRANSLATIONS == true) {
34 startup_gettext();
35 }
dc56b3b7 36
7f0acba7
AD
37 $script_started = getmicrotime();
38
39 $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
40
41 if (!$link) {
42 if (DB_TYPE == "mysql") {
43 print mysql_error();
44 }
45 // PG seems to display its own errors just fine by default.
46 return;
47 }
48
49 if (DB_TYPE == "pgsql") {
50 pg_query("set client_encoding = 'UTF-8'");
51 pg_set_client_encoding("UNICODE");
70dcff6b 52 } else {
bddc9788
AD
53 if (defined('MYSQL_CHARSET') && MYSQL_CHARSET) {
54 db_query($link, "SET NAMES " . MYSQL_CHARSET);
75ca1986 55// db_query($link, "SET CHARACTER SET " . MYSQL_CHARSET);
bddc9788 56 }
7f0acba7
AD
57 }
58
59 $op = $_REQUEST["op"];
60
c339343b 61 $print_exec_time = false;
7e3634d9 62
3de0261a 63 if ((!$op || $op == "rpc" || $op == "rss" || $op == "view" ||
945c243e 64 $op == "digestSend" || $op == "viewfeed" || $op == "publish" ||
18664970 65 $op == "globalUpdateFeeds") && !$_REQUEST["noxml"]) {
6002818b 66 header("Content-Type: application/xml; charset=utf-8");
9fdf7824
AD
67 } else {
68 if (!$_REQUEST["noxml"]) {
69 header("Content-Type: text/html; charset=utf-8");
70 } else {
71 header("Content-Type: text/plain; charset=utf-8");
72 }
262bd8ea
AD
73 }
74
f3acc32e
AD
75 if (!$op) {
76 header("Content-Type: application/xml");
77 print_error_xml(7); exit;
78 }
42c32916 79
7f0acba7 80 if (!($_SESSION["uid"] && validate_session($link)) && $op != "globalUpdateFeeds"
945c243e 81 && $op != "rss" && $op != "getUnread" && $op != "publish") {
262bd8ea 82
2e918d9d 83 if ($op == "rpc" || $op == "viewfeed" || $op == "view") {
af106b0e 84 print_error_xml(6); die;
04269460
AD
85 } else {
86 print "
87 <html><body>
88 <p>Error: Not logged in.</p>
89 <script type=\"text/javascript\">
90 if (parent.window != 'undefined') {
01a87dff 91 parent.window.location = \"tt-rss.php\";
04269460 92 } else {
01a87dff 93 window.location = \"tt-rss.php\";
04269460
AD
94 }
95 </script>
96 </body></html>
97 ";
262bd8ea
AD
98 }
99 exit;
100 }
1c7f75ed 101
ad815c71 102 $purge_intervals = array(
d1db26aa
AD
103 0 => __("Use default"),
104 -1 => __("Never purge"),
105 5 => __("1 week old"),
106 14 => __("2 weeks old"),
107 31 => __("1 month old"),
108 60 => __("2 months old"),
109 90 => __("3 months old"));
ad815c71
AD
110
111 $update_intervals = array(
d1db26aa
AD
112 0 => __("Use default"),
113 -1 => __("Disable updates"),
1e7cbe16 114 15 => __("Each 15 minutes"),
d1db26aa
AD
115 30 => __("Each 30 minutes"),
116 60 => __("Hourly"),
117 240 => __("Each 4 hours"),
118 720 => __("Each 12 hours"),
119 1440 => __("Daily"),
120 10080 => __("Weekly"));
ad815c71 121
16211ddb 122 $update_methods = array(
0dd9c0cf
AD
123 0 => __("Use default"),
124 1 => __("Magpie"),
125 2 => __("SimplePie"));
16211ddb
AD
126
127 if (ENABLE_SIMPLEPIE) {
128 $update_methods[0] .= ' (SimplePie)';
129 } else {
130 $update_methods[0] .= ' (Magpie)';
131 }
132
3c5783b7 133 $access_level_names = array(
d1db26aa 134 0 => __("User"),
a88d37e5 135 5 => __("Power User"),
d1db26aa 136 10 => __("Administrator"));
3c5783b7 137
f27d955a 138 require_once "modules/pref-prefs.php";
ef8be8ea
AD
139 require_once "modules/popup-dialog.php";
140 require_once "modules/help.php";
141 require_once "modules/pref-feeds.php";
142 require_once "modules/pref-filters.php";
143 require_once "modules/pref-labels.php";
144 require_once "modules/pref-users.php";
c339343b 145 require_once "modules/pref-feed-browser.php";
ef8be8ea 146
b2804af7 147 if (!sanity_check($link)) { return; }
023fe037 148
45004d43
AD
149 switch($op) { // Select action according to $op value.
150 case "rpc":
151 // Handle remote procedure calls.
152 handle_rpc_request($link);
153 break; // rpc
154
155 case "feeds":
156 $tags = $_GET["tags"];
157
158 $subop = $_GET["subop"];
159
160 switch($subop) {
161 case "catchupAll":
162 db_query($link, "UPDATE ttrss_user_entries SET
163 last_read = NOW(),unread = false WHERE owner_uid = " . $_SESSION["uid"]);
164 break;
165
166 case "collapse":
167 $cat_id = db_escape_string($_GET["cid"]);
168
169 db_query($link, "UPDATE ttrss_feed_categories SET
170 collapsed = NOT collapsed WHERE id = '$cat_id' AND owner_uid = " .
171 $_SESSION["uid"]);
172 return;
173 break;
174 }
c3b81db0 175
45004d43
AD
176 outputFeedList($link, $tags);
177 break; // feeds
1cd17194 178
45004d43 179 case "view":
e097e8be 180
45004d43
AD
181 $id = db_escape_string($_GET["id"]);
182 $feed_id = db_escape_string($_GET["feed"]);
183 $cids = split(",", db_escape_string($_GET["cids"]));
184 $mode = db_escape_string($_GET["mode"]);
185 $omode = db_escape_string($_GET["omode"]);
e097e8be 186
45004d43 187 print "<reply>";
e097e8be 188
45004d43
AD
189 // in prefetch mode we only output requested cids, main article
190 // just gets marked as read (it already exists in client cache)
e097e8be 191
45004d43
AD
192 if ($mode == "") {
193 outputArticleXML($link, $id, $feed_id);
194 } else {
195 catchupArticleById($link, $id, 0);
196 }
e097e8be 197
45004d43
AD
198 foreach ($cids as $cid) {
199 if ($cid) {
200 outputArticleXML($link, $cid, $feed_id, false);
201 }
e097e8be 202 }
e097e8be 203
45004d43
AD
204 if ($mode != "prefetch_old") {
205 print "<counters>";
206 getAllCounters($link, $omode);
207 print "</counters>";
208 }
5a94a953 209
45004d43
AD
210 print "</reply>";
211 break; // view
1cd17194 212
45004d43 213 case "viewfeed":
1cd17194 214
45004d43
AD
215 $print_exec_time = true;
216 $timing_info = getmicrotime();
46921916 217
45004d43 218 print "<reply>";
3de0261a 219
45004d43 220 if ($_GET["debug"]) $timing_info = print_checkpoint("0", $timing_info);
46921916 221
45004d43 222 $omode = db_escape_string($_GET["omode"]);
3de0261a 223
45004d43
AD
224 $feed = db_escape_string($_GET["feed"]);
225 $subop = db_escape_string($_GET["subop"]);
226 $view_mode = db_escape_string($_GET["view_mode"]);
227 $limit = db_escape_string($_GET["limit"]);
228 $cat_view = db_escape_string($_GET["cat"]);
229 $next_unread_feed = db_escape_string($_GET["nuf"]);
230 $offset = db_escape_string($_GET["skip"]);
081e527d 231 $vgroup_last_feed = db_escape_string($_GET["vgrlf"]);
203de776 232
45004d43
AD
233 set_pref($link, "_DEFAULT_VIEW_MODE", $view_mode);
234 set_pref($link, "_DEFAULT_VIEW_LIMIT", $limit);
40496720 235
45004d43
AD
236 if (!$cat_view && preg_match("/^[0-9][0-9]*$/", $feed)) {
237 db_query($link, "UPDATE ttrss_feeds SET last_viewed = NOW()
238 WHERE id = '$feed' AND owner_uid = ".$_SESSION["uid"]);
239 }
7466dc6a 240
45004d43 241 print "<headlines id=\"$feed\"><![CDATA[";
c50e2b30 242
d96b7774 243 if ($feed == -4) {
d76a3b03 244
1681df97 245 generate_dashboard_feed($link);
e19c1824 246
d96b7774 247 } else {
46921916 248
d96b7774 249 $ret = outputHeadlinesList($link, $feed, $subop,
081e527d
AD
250 $view_mode, $limit, $cat_view, $next_unread_feed, $offset,
251 $vgroup_last_feed);
d96b7774
AD
252
253 $topmost_article_ids = $ret[0];
254 $headlines_count = $ret[1];
255 $returned_feed = $ret[2];
256 $disable_cache = $ret[3];
081e527d 257 $vgroup_last_feed = $ret[4];
d96b7774
AD
258
259 print "]]></headlines>";
260
261 print "<headlines-count value=\"$headlines_count\"/>";
081e527d
AD
262 print "<vgroup-last-feed value=\"$vgroup_last_feed\"/>";
263
d96b7774
AD
264 $headlines_unread = getFeedUnread($link, $returned_feed);
265
266 print "<headlines-unread value=\"$headlines_unread\"/>";
267 printf("<disable-cache value=\"%d\"/>", $disable_cache);
268
269 if ($_GET["debug"]) $timing_info = print_checkpoint("10", $timing_info);
270
271 if (is_array($topmost_article_ids) && !get_pref($link, 'COMBINED_DISPLAY_MODE')) {
272 print "<articles>";
273 foreach ($topmost_article_ids as $id) {
274 outputArticleXML($link, $id, $feed, false);
275 }
276 print "</articles>";
45004d43 277 }
961f4c73 278 }
961f4c73 279
45004d43 280 if ($_GET["debug"]) $timing_info = print_checkpoint("20", $timing_info);
46921916 281
45004d43
AD
282 print "<counters>";
283 getAllCounters($link, $omode, $feed);
284 print "</counters>";
98bea1b1 285
45004d43 286 if ($_GET["debug"]) $timing_info = print_checkpoint("30", $timing_info);
46921916 287
45004d43 288 print_runtime_info($link);
03c88bdd 289
45004d43
AD
290 print "</reply>";
291 break; // viewfeed
1cd17194 292
45004d43
AD
293 case "pref-feeds":
294 module_pref_feeds($link);
295 break; // pref-feeds
a7f22b70 296
45004d43
AD
297 case "pref-filters":
298 module_pref_filters($link);
299 break; // pref-filters
a0476535 300
45004d43
AD
301 case "pref-labels":
302 module_pref_labels($link);
303 break; // pref-labels
d0000401 304
45004d43
AD
305 case "pref-prefs":
306 module_pref_prefs($link);
307 break; // pref-prefs
f27d955a 308
45004d43
AD
309 case "pref-users":
310 module_pref_users($link);
311 break; // prefs-users
a0476535 312
45004d43
AD
313 case "help":
314 module_help($link);
315 break; // help
a0476535 316
45004d43
AD
317 case "dlg":
318 module_popup_dialog($link);
319 break; // dlg
a7f22b70 320
45004d43
AD
321 case "pref-pub-items":
322 module_pref_pub_items($link);
323 break; // pref-pub-items
e4f4b46f 324
45004d43
AD
325 case "globalUpdateFeeds":
326 // update feeds of all users, may be used anonymously
e4f4b46f 327
5cbaf873 328 print "<!--";
45004d43 329 // Update all feeds needing a update.
5cbaf873
AD
330 update_daemon_common($link, 0, true, true);
331 print " -->";
a7f22b70 332
45004d43
AD
333 // FIXME : old feed update way. To be removed.
334 //$result = db_query($link, "SELECT id FROM ttrss_users");
a0476535 335
45004d43
AD
336 //while ($line = db_fetch_assoc($result)) {
337 // $user_id = $line["id"];
338 // print "<!-- updating feeds of uid $user_id -->";
339 // update_all_feeds($link, false, $user_id);
340 //}
e2f728be 341
45004d43
AD
342 print "<rpc-reply>
343 <message msg=\"All feeds updated\"/>
344 </rpc-reply>";
345 break; // globalUpdateFeeds
e5d758e3 346
45004d43 347 case "user-details":
f9cb39ac 348
45004d43
AD
349 if (WEB_DEMO_MODE || $_SESSION["access_level"] < 10) {
350 return;
351 }
0af33e87 352
45004d43
AD
353 /*
354 print "<html><head>
355 <title>Tiny Tiny RSS : User Details</title>
356 <link rel=\"stylesheet\" href=\"tt-rss.css\" type=\"text/css\">
357 <meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\">
358 </head><body>";
359 */
360
361 $uid = sprintf("%d", $_GET["id"]);
362
363 print "<div id=\"infoBoxTitle\">User details</div>";
364
365 print "<div class='infoBoxContents'>";
366
367 $result = db_query($link, "SELECT login,
fc2b26a6 368 ".SUBSTRING_FOR_DATE."(last_login,1,16) AS last_login,
45004d43
AD
369 access_level,
370 (SELECT COUNT(int_id) FROM ttrss_user_entries
371 WHERE owner_uid = id) AS stored_articles,
fc2b26a6 372 ".SUBSTRING_FOR_DATE."(created,1,16) AS created
45004d43
AD
373 FROM ttrss_users
374 WHERE id = '$uid'");
375
376 if (db_num_rows($result) == 0) {
377 print "<h1>User not found</h1>";
378 return;
379 }
f9cb39ac 380
45004d43 381 // print "<h1>User Details</h1>";
f9cb39ac 382
45004d43 383 $login = db_fetch_result($result, 0, "login");
b92e6209 384
45004d43 385 // print "<h1>$login</h1>";
dc932d0a 386
45004d43 387 print "<table width='100%'>";
dc932d0a 388
45004d43
AD
389 $last_login = date(get_pref($link, 'LONG_DATE_FORMAT'),
390 strtotime(db_fetch_result($result, 0, "last_login")));
54a3d3cf 391
45004d43
AD
392 $created = date(get_pref($link, 'LONG_DATE_FORMAT'),
393 strtotime(db_fetch_result($result, 0, "created")));
54a3d3cf 394
45004d43
AD
395 $access_level = db_fetch_result($result, 0, "access_level");
396 $stored_articles = db_fetch_result($result, 0, "stored_articles");
f9cb39ac 397
45004d43
AD
398 // print "<tr><td>Username</td><td>$login</td></tr>";
399 // print "<tr><td>Access level</td><td>$access_level</td></tr>";
400 print "<tr><td>".__('Registered')."</td><td>$created</td></tr>";
401 print "<tr><td>".__('Last logged in')."</td><td>$last_login</td></tr>";
402 print "<tr><td>".__('Stored articles')."</td><td>$stored_articles</td></tr>";
f9cb39ac 403
45004d43
AD
404 $result = db_query($link, "SELECT COUNT(id) as num_feeds FROM ttrss_feeds
405 WHERE owner_uid = '$uid'");
f9cb39ac 406
45004d43 407 $num_feeds = db_fetch_result($result, 0, "num_feeds");
f9cb39ac 408
45004d43 409 print "<tr><td>".__('Subscribed feeds count')."</td><td>$num_feeds</td></tr>";
0ea4fb50 410
45004d43
AD
411 /*
412 $result = db_query($link, "SELECT
413 SUM(LENGTH(content)+LENGTH(title)+LENGTH(link)+LENGTH(guid)) AS db_size
414 FROM ttrss_user_entries,ttrss_entries
415 WHERE owner_uid = '$uid' AND ref_id = id");
0ea4fb50 416
45004d43 417 $db_size = round(db_fetch_result($result, 0, "db_size") / 1024);
0ea4fb50 418
45004d43
AD
419 print "<tr><td>Approx. used DB size</td><td>$db_size KBytes</td></tr>";
420 */
e5d758e3 421
45004d43 422 print "</table>";
e5d758e3 423
45004d43 424 print "<h1>".__('Subscribed feeds')."</h1>";
e5d758e3 425
45004d43
AD
426 $result = db_query($link, "SELECT id,title,site_url FROM ttrss_feeds
427 WHERE owner_uid = '$uid' ORDER BY title");
0ea4fb50 428
45004d43 429 print "<ul class=\"userFeedList\">";
0ea4fb50 430
45004d43 431 $row_class = "odd";
0ea4fb50 432
45004d43 433 while ($line = db_fetch_assoc($result)) {
0ea4fb50 434
45004d43 435 $icon_file = ICONS_URL."/".$line["id"].".ico";
ad815c71 436
45004d43
AD
437 if (file_exists($icon_file) && filesize($icon_file) > 0) {
438 $feed_icon = "<img class=\"tinyFeedIcon\" src=\"$icon_file\">";
439 } else {
440 $feed_icon = "<img class=\"tinyFeedIcon\" src=\"images/blank_icon.gif\">";
441 }
0ea4fb50 442
45004d43 443 print "<li class=\"$row_class\">$feed_icon&nbsp;<a href=\"".$line["site_url"]."\">".$line["title"]."</a></li>";
0ea4fb50 444
45004d43 445 $row_class = toggleEvenOdd($row_class);
0ea4fb50 446
45004d43 447 }
a283b8d1 448
45004d43
AD
449 if (db_num_rows($result) < $num_feeds) {
450 // FIXME - add link to show ALL subscribed feeds here somewhere
451 print "<li><img
452 class=\"tinyFeedIcon\" src=\"images/blank_icon.gif\">&nbsp;...</li>";
453 }
454
455 print "</ul>";
a283b8d1 456
45004d43 457 print "</div>";
0ea4fb50 458
45004d43
AD
459 print "<div align='center'>
460 <input type='submit' class='button'
461 onclick=\"closeInfoBox()\" value=\"Close this window\"></div>";
0ea4fb50 462
45004d43 463 // print "</body></html>";
0ea4fb50 464
45004d43 465 break; // user-details
ad815c71 466
45004d43
AD
467 case "pref-feed-browser":
468 module_pref_feed_browser($link);
469 break; // pref-feed-browser
c6232e43 470
45004d43
AD
471 case "publish":
472 $key = db_escape_string($_GET["key"]);
945c243e 473
45004d43
AD
474 $result = db_query($link, "SELECT login, owner_uid
475 FROM ttrss_user_prefs, ttrss_users WHERE
476 pref_name = '_PREFS_PUBLISH_KEY' AND
477 value = '$key' AND
478 ttrss_users.id = owner_uid");
945c243e 479
45004d43
AD
480 if (db_num_rows($result) == 1) {
481 $owner = db_fetch_result($result, 0, "owner_uid");
482 $login = db_fetch_result($result, 0, "login");
945c243e 483
45004d43 484 generate_syndicated_feed($link, $owner, -2, false);
945c243e 485
45004d43
AD
486 } else {
487 print "<error>User not found</error>";
488 }
489 break; // publish
18664970 490
45004d43
AD
491 case "rss":
492 $feed = db_escape_string($_GET["id"]);
493 $user = db_escape_string($_GET["user"]);
494 $pass = db_escape_string($_GET["pass"]);
495 $is_cat = $_GET["is_cat"] != false;
e1eb2147 496
45004d43
AD
497 $search = db_escape_string($_GET["q"]);
498 $match_on = db_escape_string($_GET["m"]);
499 $search_mode = db_escape_string($_GET["smode"]);
18664970 500
45004d43
AD
501 if (!$_SESSION["uid"] && $user && $pass) {
502 authenticate_user($link, $user, $pass);
503 }
18664970 504
45004d43
AD
505 if ($_SESSION["uid"] ||
506 http_authenticate_user($link)) {
945c243e 507
45004d43
AD
508 generate_syndicated_feed($link, 0, $feed, $is_cat,
509 $search, $search_mode, $match_on);
510 }
511 break; // rss
18664970 512
45004d43
AD
513 case "labelFromSearch":
514 $search = db_escape_string($_GET["search"]);
515 $search_mode = db_escape_string($_GET["smode"]);
516 $match_on = db_escape_string($_GET["match"]);
517 $is_cat = db_escape_string($_GET["is_cat"]);
518 $title = db_escape_string($_GET["title"]);
519 $feed = sprintf("%d", $_GET["feed"]);
88040f57 520
45004d43 521 $label_qparts = array();
88040f57 522
45004d43 523 $search_expr = getSearchSql($search, $match_on);
88040f57 524
45004d43
AD
525 if ($is_cat) {
526 if ($feed != 0) {
527 $search_expr .= " AND ttrss_feeds.cat_id = $feed ";
528 } else {
529 $search_expr .= " AND ttrss_feeds.cat_id IS NULL ";
530 }
88040f57 531 } else {
45004d43
AD
532 if ($search_mode == "all_feeds") {
533 // NOOP
534 } else if ($search_mode == "this_cat") {
88040f57 535
45004d43
AD
536 $tmp_result = db_query($link, "SELECT cat_id
537 FROM ttrss_feeds WHERE id = '$feed'");
88040f57 538
45004d43 539 $cat_id = db_fetch_result($tmp_result, 0, "cat_id");
88040f57 540
45004d43
AD
541 if ($cat_id > 0) {
542 $search_expr .= " AND ttrss_feeds.cat_id = $cat_id ";
543 } else {
544 $search_expr .= " AND ttrss_feeds.cat_id IS NULL ";
545 }
88040f57 546 } else {
45004d43 547 $search_expr .= " AND ttrss_feeds.id = $feed ";
88040f57 548 }
88040f57 549
45004d43 550 }
88040f57 551
45004d43 552 $search_expr = db_escape_string($search_expr);
88040f57 553
45004d43 554 print $search_expr;
88040f57 555
45004d43
AD
556 if ($title) {
557 $result = db_query($link,
558 "INSERT INTO ttrss_labels (sql_exp,description,owner_uid)
559 VALUES ('$search_expr', '$title', '".$_SESSION["uid"]."')");
560 }
561 break; // labelFromSearch
f3acc32e 562
45004d43
AD
563 case "getUnread":
564 $login = db_escape_string($_GET["login"]);
f3acc32e 565
45004d43 566 header("Content-Type: text/plain; charset=utf-8");
f3acc32e 567
45004d43 568 $result = db_query($link, "SELECT id FROM ttrss_users WHERE login = '$login'");
7e3634d9 569
45004d43
AD
570 if (db_num_rows($result) == 1) {
571 $uid = db_fetch_result($result, 0, "id");
572 print getGlobalUnread($link, $uid);
573 } else {
574 print "-1;User not found";
575 }
7e3634d9 576
45004d43
AD
577 $print_exec_time = false;
578 break; // getUnread
9cd7c995 579
45004d43
AD
580 case "digestTest":
581 header("Content-Type: text/plain");
582 print_r(prepare_headlines_digest($link, $_SESSION["uid"]));
583 $print_exec_time = false;
584 break; // digestTest
448b0abd 585
45004d43
AD
586 case "digestSend":
587 header("Content-Type: text/plain");
588 send_headlines_digests($link);
589 $print_exec_time = false;
590 break; // digestSend
7e3634d9 591
45004d43 592 } // Select action according to $op value.
f3acc32e 593
45004d43 594 // We close the connection to database.
4b3dff6e 595 db_close($link);
1cd17194 596?>
406d9489 597
7e3634d9 598<?php if ($print_exec_time) { ?>
1d3a17c7 599<!-- <?php echo sprintf("Backend execution time: %.4f seconds", getmicrotime() - $script_started) ?> -->
f3acc32e 600<?php } ?>