Add cast to int in calls to isdigit() since some platforms complain a…

…bout char being used as an array index.

json_pointer.c

@@ -43,7 +43,7 @@ static int is_valid_index(struct json_object *jo, const char *path, int32_t *idx
 	/* this code-path optimizes a bit, for when we reference the 0-9 index range in a JSON array
 	   and because leading zeros not allowed */
 	if (len == 1) {
-		if (isdigit(path[0])) {
+		if (isdigit((int)path[0])) {
 			*idx = (path[0] - '0');
 			goto check_oob;
 		}
@@ -57,7 +57,7 @@ static int is_valid_index(struct json_object *jo, const char *path, int32_t *idx
 	}
 	/* RFC states base-10 decimals */
 	for (i = 0; i < len; i++) {
-		if (!isdigit(path[i])) {
+		if (!isdigit((int)path[i])) {
 			errno = EINVAL;
 			return 0;
 		}