2075
2076
2077
2078
2079
2080
2081
2082
2083
|
** mobile device.
**
** The returned value is a guess. Use it only for setting up defaults.
*/
int cgi_from_mobile(void){
const char *zAgent = P("HTTP_USER_AGENT");
if( zAgent==0 ) return 0;
return sqlite3_strlike("%mobile%", zAgent, 0)==0;
}
|
>
|
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
|
** mobile device.
**
** The returned value is a guess. Use it only for setting up defaults.
*/
int cgi_from_mobile(void){
const char *zAgent = P("HTTP_USER_AGENT");
if( zAgent==0 ) return 0;
if( sqlite3_strglob("*iPad*", zAgent)==0 ) return 0;
return sqlite3_strlike("%mobile%", zAgent, 0)==0;
}
|