0 | module HTTP.API.Client.I18n.DE
 1 |
 2 | import HTTP.API.Client
 3 | import HTTP.I18n.DE
 4 | import public HTTP.API.Client.I18n
 5 |
 6 | %default total
 7 |
 8 | serverErr : Bits16 -> String
 9 | serverErr s =
10 |   """
11 |   Der Server hat mit dem Statuscode \{show s} geantwortet. Dies ist ein
12 |   serverseitiger Fehler. Bitte versuchen Sie es in einigen Augenblicken
13 |   erneut. Falls das Problem weiterhin besteht, wenden Sie sich bitte an
14 |   Ihren Serveradministrator.
15 |   """
16 |
17 | parameters {auto lg : Logger JS}
18 |   ||| Please note that this is an opinionated implementation of `JSLocal`.
19 |   export
20 |   [JSDE] JSLocal using HTTPDE where
21 |     logJSErr x    =
22 |       error
23 |         """
24 |         In der Benutzeroberfläche ist ein Fehler aufgetreten. Dabei handelt
25 |         es sich vermutlich um einen Programmfehler.
26 |
27 |         Fehlerdetails: \{dispErr x}
28 |         """
29 |
30 |     logHTTPErr Timeout         =
31 |       error
32 |         """
33 |         Die Verbindung zum Server ist abgelaufen. Dies kann passieren, wenn
34 |         Ihre Internetverbindung langsam ist oder der Server mit anderen
35 |         Anfragen ausgelastet ist. Sollte sich die Situation nicht verbessern,
36 |         wenden Sie sich bitte an Ihren Serveradministrator.
37 |         """
38 |
39 |     logHTTPErr NetworkError    =
40 |       error
41 |         """
42 |         Fehler bei der Verbindung zum Server. Bitte überprüfen Sie Ihre
43 |         Netzwerkverbindung sowie gegebenenfalls die korrekte Einrichtung
44 |         Ihres VPNs. Sollte dies nicht helfen, ist der Server möglicherweise
45 |         nicht erreichbar. Wenden Sie sich in diesem Fall bitte an Ihren
46 |         Serveradministrator.
47 |         """
48 |
49 |     logHTTPErr (ReqError m)   =
50 |       case cast {to = Bits16} m.status of
51 |         403 => warn m.message
52 |         401 => warn m.message
53 |         409 => warn m.message
54 |         s   => if s >= 500
55 |           then error (serverErr s)
56 |           else
57 |             error
58 |               """
59 |               Der Server hat mit dem Statuscode \{show m.status} geantwortet.
60 |               Dieser Statuscode ist unerwartet und könnte auf einen Programmfehler
61 |               hinweisen. Bitte wenden Sie sich an Ihren Serveradministrator und
62 |               übermitteln Sie die folgende detaillierte Fehlermeldung:
63 |               \{m}
64 |               """
65 |
66 |     logHTTPErr (DecError s x) =
67 |       if s >= 500 then error (serverErr s)
68 |       else case x of
69 |         ContentErr t d => error
70 |           """
71 |           Beim Verarbeiten der Serverantwort ist ein Fehler aufgetreten.
72 |           Dies ist ein Programmfehler. Bitte informieren Sie Ihren
73 |           Serveradministrator und übermitteln Sie die unten stehende
74 |           Fehlermeldung:
75 |           \{t}
76 |           \{d}
77 |           """
78 |         x => error
79 |           """
80 |           Beim Verarbeiten der Serverantwort ist ein Fehler aufgetreten.
81 |           Dies ist ein Programmfehler. Bitte informieren Sie Ihren
82 |           Serveradministrator und übermitteln Sie die unten stehende
83 |           Fehlermeldung:
84 |           \{x}
85 |           """
86 |