Differences From Artifact [807ac33f85]:

• File src/login.c — part of check-in [29bab2748b] at 2021-03-01 20:37:45 on branch trunk — If the diff type (unified vs. side-by-side) is not specified by a query parameter or cookie, then determine the diff type based on the "preferred-diff-type" setting, if there is one, or on a guess whether or not the requesting agent is a mobile device based on the User-Agent parameter in the HTTP request. (user: drh size: 74372)

To Artifact [d1115a1a07]:

• File src/login.c — part of check-in [4de677dcc3] at 2021-03-01 20:54:45 on branch trunk — Change the algorithm for detecting when a user agent is a narrow-screen mobile device to the algorithm recommanded at [https://developer.mozilla.org/en-US/docs/Web/HTTP/Browser_detection_using_the_user_agent#mobile_device_detection]. (user: drh size: 74354) [more...]

431
432
433
434
435
436
437




438
439
440
441
442
443
444
445
446
447
448
449
450
451
452

/*
** Make a guess at whether or not the requestor is a mobile device or
** a desktop device (narrow screen vs. wide screen) based the HTTP_USER_AGENT
** parameter.  Return true for mobile and false for desktop.
**
** Caution:  This is only a guess.




*/
int user_agent_is_likely_mobile(void){
  const char *zAgent = P("HTTP_USER_AGENT");
  if( zAgent==0 ) return 0;
  if( sqlite3_strglob("*droid*", zAgent)==0 ) return 1;
  if( sqlite3_strglob("*mobile*", zAgent)==0 ) return 1;
  if( sqlite3_strglob("*iOS*", zAgent)==0 ) return 1;
  if( sqlite3_strglob("*iPhone*", zAgent)==0 ) return 1;
  return 0;
}

/*
** COMMAND: test-ishuman
**
** Read lines of text from standard input.  Interpret each line of text

>
>
>
>




<
<
|
<

431
432
433
434
435
436
437
438
439
440
441
442
443
444
445


446

447
448
449
450
451
452
453

/*
** Make a guess at whether or not the requestor is a mobile device or
** a desktop device (narrow screen vs. wide screen) based the HTTP_USER_AGENT
** parameter.  Return true for mobile and false for desktop.
**
** Caution:  This is only a guess.
**
** Algorithm derived from https://developer.mozilla.org/en-US/docs/Web/
** HTTP/Browser_detection_using_the_user_agent#mobile_device_detection on
** 2021-03-01
*/
int user_agent_is_likely_mobile(void){
  const char *zAgent = P("HTTP_USER_AGENT");
  if( zAgent==0 ) return 0;


  if( strstr(zAgent,"Mobi")!=0 ) return 1;

  return 0;
}

/*
** COMMAND: test-ishuman
**
** Read lines of text from standard input.  Interpret each line of text