Merge branch 'master' of gitlab.science.ru.nl:mlubbers/ssproject1617

[ssproject1617.git] / report / v3_session.tex

diff --git a/report/v3_session.tex b/report/v3_session.tex
index fc9cd6c..18f106a 100644 (file)
--- a/report/v3_session.tex
+++ b/report/v3_session.tex
@@ -40,7 +40,7 @@
     \begin{result}
     The logout functionality is plainly visible on the top right of the
       application on every page that requires authentication. This is defined in
-      \srcref{admin/themes/header.php}{16-30}
+               \srcref{admin/themes/header.php}{16{-}30}
     \end{result}
 
 
@@ -91,7 +91,7 @@
     session tokens additionally set the “HttpOnly” and “secure” attributes.
     \begin{result}
     There is just one cookie for tha application and it's path includes the whole
-      site. However this seems appropriate. The "HttpOnly" and "secure"
+      site. However this seems appropriate. The ``HttpOnly'' and ``secure''
       attributes are not set for this cookie.
     \end{result}