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