Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: SELECT u.*, s.* FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.sid = 'a60c7ed6c218f99eecad64f8ba08d6bc' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:258:\"file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport &quot;ssl&quot; - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:39;}', 3, '', 'http://www.disit.org/drupal/?page=11&q=en-US%2Ftaxonomy%2Fterm%2F1207%2F1', '', '192.168.0.44', 175719 in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:256:\"file_get_contents(http://www.disit.org/RightBarMM.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport &quot;ssl&quot; - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:41;}', 3, '', 'http://www.disit.org/drupal/?page=11&q=en-US%2Ftaxonomy%2Fterm%2F1207%2F1', '', '192.168.0.44', 17571975 in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
formal methods | DISIT Lab of University of Florence
Homepage

formal methods

time: 296ms ()


Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:12:\"user warning\";s:8:\"%message\";s:1295:\"Table &#039;.\\drupal\\sessions&#039; is marked as crashed and should be repaired\nquery: UPDATE sessions SET uid = 0, cache = 0, hostname = &#039;192.168.0.44&#039;, session = &#039;hidePDA|s:1:\\&quot;0\\&quot;;section|s:8:\\&quot;taxonomy\\&quot;;messages|a:1:{s:5:\\&quot;error\\&quot;;a:2:{i:0;s:393:\\&quot;warning: file_get_contents(http://www.disit.org/scorrimento3.html) [&lt;a href=\\&#039;function.file-get-contents\\&#039;&gt;function.file-get-contents&lt;/a&gt;]: failed to open stream: Unable to find the socket transport &amp;quot;ssl&amp;quot; - did you in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128