我正在使用Django，当我加载此代码时，它在登录管理员登录时有效。但是，在登录后继续进行，如果数据库配置不正确，请指定引擎值。我添加了一个else语句，并尝试使用本地数据库。但每当我添加本地数据库时，它会出现500 http错误。谢谢你的帮助！
intros sum1 sum2 s1_spec s2_spec f n.
specialize (s1_spec f) as [s1_spec0 s1_specS].
specialize (s2_spec f) as [s2_spec0 s2_specS].
我也在使用mac（osx）