[sqlite] Database Disk Full

[Drew, Stephen]

Hello,
 
In sqlite3OsWrite function (in os_win.c)  the following code exists:
 
  while( amt>0 && (rc = WriteFile(id->h, pBuf, amt, &wrote, 0))!=0 &&
wrote>0 ){

    amt -= wrote;

    pBuf = &((char*)pBuf)[wrote];

  }

  if( !rc || amt>(int)wrote ){

    return SQLITE_FULL;

  }

Is this really a valid occasion to return SQLITE_FULL?   Surely
WriteFile Win32 API call can fail to write a full for a plethora of
reasons, or am I missing something?

Many thanks in advance

Regards,

Steve