我需要一些惰性hapi.js模块的帮助。我正在尝试使用hapi.js呈现HTML5内联视频。我正在使用处理程序通过Record Normed_Space : Type := mknormspace
{Vspace :> Type;
add : Vspace -> Vspace -> Vspace;
neg : Vspace -> Vspace;
scalar_mul : R -> Vspace -> Vspace;
zero : Vspace;
norm : Vspace -> R;
add_assoc : forall x y z:Vspace, add x (add y z) = add (add x y) z;
add_comm : forall x y:Vspace, add x y = add y x;
add_inv : forall x:Vspace, add x (neg x) = zero;
add_id : forall x:Vspace, add x zero = x;
mul_assoc : forall (x:Vspace) (a b:R), scalar_mul a (scalar_mul b x) = scalar_mul (a*b) x;
mul_id : forall x:Vspace, scalar_mul 1 x = x;
mul_dist1 : forall (x:Vspace) (a b:R), scalar_mul (a+b) x = add (scalar_mul a x) (scalar_mul b x);
mul_dist2 : forall (x y:Vspace) (a:R), scalar_mul a (add x y) = add (scalar_mul a x) (scalar_mul a y);
norm_pos : forall x:Vspace, (x=zero) \/ (norm x > 0);
norm_multi : forall (x:Vspace) (a:R), norm (scalar_mul a x) = (Rabs a)*(norm x)}.
传递视频。这适用于OSX上的Google Chrome，但它无法在iOS上的iPad或iPhone上运行。
相反，如果我使用HAPI目录指令提供相同的文件。即我更直接地请求文件。
reply.file('filename.mp4').type('video/mp4')视频然后嵌入Chrome和iOS。
使用server.register(Inert, function () {});
server.route({
path: "/static/{path*}",
method: "GET",
handler: {
directory: {
path: "./static",
listing: false,
index: false
}
}
});
与直接提供文件之间似乎存在差异，但仅限于iOS。我在两种情况下比较了HTTP标题，但事情看起来完全相同，所以我很难过。
答案 0 :(得分：0)
确定。我做了一些调试，并意识到这与HAPI无关。实际上，这是一个IOS错误，在这里引用：
HTML5 video/audio player on mobile Safari (iOS 7 & iOS 10) excludes cookies
我的静态处理程序工作的原因是因为它没有检查cookie，因为媒体播放器中的IOS错误而没有发送cookie。