Make error message for nonexistent published page more informative

[sagetrac-khorton]

If someone attempts to access a URL for a published worksheet that no longer exists (perhaps because the URL changed when the worksheet went through a published to unpublished to published cycle), or the URL was mistyped, they get a blank page titled "Error | Sage Notebook", with no hint on what to do to resolve the problem.

If they are trying to access a published worksheet that cannot be found, it is probably useful to redirect to the page with the list of published worksheets, perhaps after showing an error message like "There is no worksheet currently available at this URL. You will be redirected to the index of published worksheets in 15 seconds."

This may be related to ticket 5988:

#5988

CC: @sagetrac-acleone @robert-marik

Component: notebook

Author: Tim Dumol, Mitesh Patel

Reviewer: Tim Dumol, Mitesh Patel

Merged: sagenb-0.8

Issue created by migration from https://trac.sagemath.org/ticket/6069

[TimDumol]

Attachment: trac_6069-missing-published-worksheet.patch.gz

This says that "There is no published worksheet with name '%s'" instead.

[TimDumol]

comment:2

I think the previous message "The user 'pub' has no worksheet '%s'" was a bit confusing, but it does work. Feel free to ignore the patch and close this.

[TimDumol]

Author: Tim Dumol

[qed777]

Redirect to pub/ after delay. Apply only this patch. sagenb repo.

[qed777]

comment:3

Attachment: trac_6069-missing_pub_ws.2.patch.gz

V2 is an attempt to set up redirection. It should also ensure for guest users that the error page does not include the full top bar (Settings, Log, etc.).

Feel free to make changes.

[qed777]

comment:4

V2 applies cleanly to #8051 + #7784 + #5712.

[qed777]

Better titles for non-Error pages. Apply only this patch.

[qed777]

comment:5

Attachment: trac_6069-missing_pub_ws.3.patch.gz

V3 should

• Fix Data file deletion in notebook throws errors #8234.
• Use a title more appropriate than Error for certain non-Error pages (see the patch).
• Make "Sign Out" redirect to "/" when require_login=False. This is better than returning a page whose header refers to a user named "None" and has a broken "Home" link!

[qed777]

Changed author from Tim Dumol to Tim Dumol, Mitesh Patel