176 …const char header[], const char ctype[], const char body[], SSL *ssl, char buff[], size_t buffsize)  in PetscHTTPSRequest()  argument
197   PetscCall(PetscArrayzero(buff, buffsize));  in PetscHTTPSRequest()
205     r = SSL_read(ssl, buff + len, (int)buffsize);  in PetscHTTPSRequest()
221     PetscCall(PetscStrstr(buff, "Content-Length: ", &clen));  in PetscHTTPSRequest()
227         PetscCall(PetscStrstr(buff, "\r\n\r\n", &clen));  in PetscHTTPSRequest()
238   PetscCall(PetscInfo(NULL, "HTTPS result follows: \n%s\n", buff));  in PetscHTTPSRequest()
264 …const char header[], const char ctype[], const char body[], int sock, char buff[], size_t buffsize)  in PetscHTTPRequest()  argument
275   PetscCall(PetscBinaryRead(sock, buff, buffsize, NULL, PETSC_CHAR));  in PetscHTTPRequest()
276   buff[buffsize - 1] = 0;  in PetscHTTPRequest()
277   PetscCall(PetscInfo(NULL, "HTTP result follows: \n%s\n", buff));  in PetscHTTPRequest()
329 PetscErrorCode PetscPullJSONValue(const char buff[], const char key[], char value[], size_t valuele…  in PetscPullJSONValue()  argument
339   PetscCall(PetscStrstr(buff, work, &v));  in PetscPullJSONValue()
346     PetscCall(PetscStrstr(buff, work, &v));  in PetscPullJSONValue()
386 PetscErrorCode PetscPushJSONValue(char buff[], const char key[], const char value[], size_t bufflen)  in PetscPushJSONValue()  argument
408   PetscCall(PetscStrlcat(buff, "\"", bufflen));  in PetscPushJSONValue()
409   PetscCall(PetscStrlcat(buff, key, bufflen));  in PetscPushJSONValue()
410   PetscCall(PetscStrlcat(buff, "\":", bufflen));  in PetscPushJSONValue()
411   if (!special) PetscCall(PetscStrlcat(buff, "\"", bufflen));  in PetscPushJSONValue()
412   PetscCall(PetscStrlcat(buff, value, bufflen));  in PetscPushJSONValue()
413   if (!special) PetscCall(PetscStrlcat(buff, "\"", bufflen));  in PetscPushJSONValue()